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;
wenzelm [Wed, 25 Aug 2010 22:57:40 +0200] rev 38997
Pretty: tuned markup objects;
wenzelm [Wed, 25 Aug 2010 22:45:24 +0200] rev 38996
tuned;
wenzelm [Wed, 25 Aug 2010 22:37:53 +0200] rev 38995
organized markup properties via apply/unapply patterns;
wenzelm [Wed, 25 Aug 2010 21:31:22 +0200] rev 38994
added some proof state markup, notably number of subgoals (e.g. for indentation);
tuned;