Tue, 07 Aug 2012 23:38:18 +0200 tuned;
wenzelm [Tue, 07 Aug 2012 23:38:18 +0200] rev 48721
tuned;
Tue, 07 Aug 2012 22:54:27 +0200 proper quoting
blanchet [Tue, 07 Aug 2012 22:54:27 +0200] rev 48720
proper quoting
Tue, 07 Aug 2012 22:32:14 +0200 merged
wenzelm [Tue, 07 Aug 2012 22:32:14 +0200] rev 48719
merged
Tue, 07 Aug 2012 22:25:17 +0200 more structural parsing for minor modes;
wenzelm [Tue, 07 Aug 2012 22:25:17 +0200] rev 48718
more structural parsing for minor modes; tuned signatures;
Tue, 07 Aug 2012 21:38:24 +0200 clarified Sidekick configuration, including minor modes;
wenzelm [Tue, 07 Aug 2012 21:38:24 +0200] rev 48717
clarified Sidekick configuration, including minor modes;
Tue, 07 Aug 2012 14:29:18 +0200 stop distinguishing between complete and incomplete slices, since this is very fragile and has hardly any useful semantics to users
blanchet [Tue, 07 Aug 2012 14:29:18 +0200] rev 48716
stop distinguishing between complete and incomplete slices, since this is very fragile and has hardly any useful semantics to users
Tue, 07 Aug 2012 13:03:50 +0200 specify full path to clausifier
blanchet [Tue, 07 Aug 2012 13:03:50 +0200] rev 48715
specify full path to clausifier
Tue, 07 Aug 2012 11:25:01 +0200 documentation
blanchet [Tue, 07 Aug 2012 11:25:01 +0200] rev 48714
documentation
Tue, 07 Aug 2012 20:28:35 +0200 more token markers, based on actual outer syntax;
wenzelm [Tue, 07 Aug 2012 20:28:35 +0200] rev 48713
more token markers, based on actual outer syntax; prefer official Outer_Syntax.init with its completions;
Tue, 07 Aug 2012 19:16:58 +0200 simplified process startup phases: INIT suffices for is_ready;
wenzelm [Tue, 07 Aug 2012 19:16:58 +0200] rev 48712
simplified process startup phases: INIT suffices for is_ready;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip