Fri, 01 Jul 2011 15:53:38 +0200 update documentation after "type_enc" renaming + fixed a few other out-of-date factlets
blanchet [Fri, 01 Jul 2011 15:53:38 +0200] rev 43627
update documentation after "type_enc" renaming + fixed a few other out-of-date factlets
Fri, 01 Jul 2011 15:53:38 +0200 renamed "type_sys" to "type_enc", which is more accurate
blanchet [Fri, 01 Jul 2011 15:53:38 +0200] rev 43626
renamed "type_sys" to "type_enc", which is more accurate
Fri, 01 Jul 2011 15:53:37 +0200 document "simple_higher" type encoding
blanchet [Fri, 01 Jul 2011 15:53:37 +0200] rev 43625
document "simple_higher" type encoding
Fri, 01 Jul 2011 15:53:37 +0200 cleaner handling of higher-order simple types, so that it's also possible to use first-order simple types with LEO-II and company
blanchet [Fri, 01 Jul 2011 15:53:37 +0200] rev 43624
cleaner handling of higher-order simple types, so that it's also possible to use first-order simple types with LEO-II and company
Fri, 01 Jul 2011 15:53:37 +0200 mangle "ti" tags
blanchet [Fri, 01 Jul 2011 15:53:37 +0200] rev 43623
mangle "ti" tags
Fri, 01 Jul 2011 15:53:37 +0200 tuning
blanchet [Fri, 01 Jul 2011 15:53:37 +0200] rev 43622
tuning
Fri, 01 Jul 2011 17:36:25 +0200 clarified Thy_Syntax.element;
wenzelm [Fri, 01 Jul 2011 17:36:25 +0200] rev 43621
clarified Thy_Syntax.element;
Fri, 01 Jul 2011 16:05:38 +0200 tuned layout;
wenzelm [Fri, 01 Jul 2011 16:05:38 +0200] rev 43620
tuned layout;
Fri, 01 Jul 2011 15:16:03 +0200 proper @{binding} antiquotations (relevant for formal references);
wenzelm [Fri, 01 Jul 2011 15:16:03 +0200] rev 43619
proper @{binding} antiquotations (relevant for formal references);
Fri, 01 Jul 2011 15:14:44 +0200 tuned;
wenzelm [Fri, 01 Jul 2011 15:14:44 +0200] rev 43618
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip