| Tue, 07 Aug 2012 22:32:14 +0200 | wenzelm | merged | changeset | files |
| Tue, 07 Aug 2012 22:25:17 +0200 | wenzelm | more structural parsing for minor modes; | changeset | files |
| Tue, 07 Aug 2012 21:38:24 +0200 | wenzelm | clarified Sidekick configuration, including minor modes; | changeset | files |
| Tue, 07 Aug 2012 14:29:18 +0200 | blanchet | stop distinguishing between complete and incomplete slices, since this is very fragile and has hardly any useful semantics to users | changeset | files |
| Tue, 07 Aug 2012 13:03:50 +0200 | blanchet | specify full path to clausifier | changeset | files |
| Tue, 07 Aug 2012 11:25:01 +0200 | blanchet | documentation | changeset | files |
| Tue, 07 Aug 2012 20:28:35 +0200 | wenzelm | more token markers, based on actual outer syntax; | changeset | files |