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
wenzelm [Thu, 26 Aug 2010 11:33:36 +0200] rev 39000
merged
wenzelm [Thu, 26 Aug 2010 11:31:21 +0200] rev 38999
Markup_Tree.select: uniform treatment of root_range wrt. singularities, yielding empty result stream;
wenzelm [Thu, 26 Aug 2010 11:29:43 +0200] rev 38998
tuned signature;