haftmann [Thu, 26 Aug 2010 12:20:34 +0200] rev 39010
merged
haftmann [Thu, 26 Aug 2010 13:44:50 +0200] rev 39009
merged
haftmann [Thu, 26 Aug 2010 13:25:14 +0200] rev 39008
re-added accidental omission
haftmann [Thu, 26 Aug 2010 12:19:50 +0200] rev 39007
tuned includes
haftmann [Thu, 26 Aug 2010 12:19:49 +0200] rev 39006
prevent line breaks after Scala symbolic operators
haftmann [Thu, 26 Aug 2010 10:23:25 +0200] rev 39005
corrected semantics of presentation_stmt_names; do not print includes on presentation selection
haftmann [Thu, 26 Aug 2010 10:16:22 +0200] rev 39004
code_include Scala: qualify module nmae
haftmann [Wed, 25 Aug 2010 22:47:04 +0200] rev 39003
merged
haftmann [Wed, 25 Aug 2010 16:33:05 +0200] rev 39002
preliminary implementation of hierarchical module name space
haftmann [Wed, 25 Aug 2010 16:33:05 +0200] rev 39001
tuned