wenzelm [Tue, 03 Apr 2012 20:41:13 +0200] rev 48192
merged
wenzelm [Tue, 03 Apr 2012 20:42:00 +0200] rev 48191
formal integration of "prog-prove" manual;
"main" is a reference manual;
wenzelm [Tue, 03 Apr 2012 20:37:52 +0200] rev 48190
prefer static dependencies;
wenzelm [Tue, 03 Apr 2012 20:24:00 +0200] rev 48189
avoid duplicate PIDE markup;
tuned;
wenzelm [Tue, 03 Apr 2012 20:08:08 +0200] rev 48188
less intrusive visibility;
wenzelm [Tue, 03 Apr 2012 19:49:14 +0200] rev 48187
more robust re-import wrt. non-HHF assumptions;
wenzelm [Tue, 03 Apr 2012 19:33:46 +0200] rev 48186
consider polyml-5.3.0 as "experimental" since it chokes on HOL-Codegenerator_Test, while 5.2.1 happens to work;
wenzelm [Tue, 03 Apr 2012 18:22:14 +0200] rev 48185
close context elements via Expression.cert/read_declaration;
ensure visible context;
huffman [Tue, 03 Apr 2012 20:56:32 +0200] rev 48184
merged
huffman [Tue, 03 Apr 2012 15:15:00 +0200] rev 48183
modernized obsolete old-style theory name with proper new-style underscore