Fri, 06 Oct 2017 17:13:57 +0200 clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header;
wenzelm [Fri, 06 Oct 2017 17:13:57 +0200] rev 66770
clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header;
Thu, 05 Oct 2017 17:39:36 +0200 merged
wenzelm [Thu, 05 Oct 2017 17:39:36 +0200] rev 66769
merged
Thu, 05 Oct 2017 17:37:47 +0200 completion supports theory header imports;
wenzelm [Thu, 05 Oct 2017 17:37:47 +0200] rev 66768
completion supports theory header imports; tuned;
Thu, 05 Oct 2017 16:33:36 +0200 clarified modules;
wenzelm [Thu, 05 Oct 2017 16:33:36 +0200] rev 66767
clarified modules;
Thu, 05 Oct 2017 14:58:04 +0200 tuned signature;
wenzelm [Thu, 05 Oct 2017 14:58:04 +0200] rev 66766
tuned signature;
Thu, 05 Oct 2017 15:35:24 +0100 new theorem at_within_cbox_finite
paulson <lp15@cam.ac.uk> [Thu, 05 Oct 2017 15:35:24 +0100] rev 66765
new theorem at_within_cbox_finite
Wed, 04 Oct 2017 20:16:53 +0200 process ROOT files only once, which allows duplicate (or overlapping) session root directories;
wenzelm [Wed, 04 Oct 2017 20:16:53 +0200] rev 66764
process ROOT files only once, which allows duplicate (or overlapping) session root directories;
Tue, 03 Oct 2017 20:32:58 +0200 prefer Cygwin64, although some components still require update;
wenzelm [Tue, 03 Oct 2017 20:32:58 +0200] rev 66763
prefer Cygwin64, although some components still require update;
Tue, 03 Oct 2017 17:01:31 +0200 updated test version;
wenzelm [Tue, 03 Oct 2017 17:01:31 +0200] rev 66762
updated test version;
Tue, 03 Oct 2017 12:30:36 +0200 more recent polyml-test version;
wenzelm [Tue, 03 Oct 2017 12:30:36 +0200] rev 66761
more recent polyml-test version;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip