Tue, 02 Oct 2018 19:10:04 +0200 |
wenzelm |
reduce tracing messages to make it work in PIDE session;
|
file |
diff |
annotate
|
Sat, 10 Oct 2015 20:54:44 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Sat, 10 Oct 2015 20:51:39 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Sat, 01 Feb 2014 18:00:28 +0100 |
wenzelm |
simplified sessions;
|
file |
diff |
annotate
|
Sat, 01 Feb 2014 17:56:03 +0100 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 22:55:50 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Sat, 13 Mar 2010 16:44:12 +0100 |
wenzelm |
removed old CVS Ids;
|
file |
diff |
annotate
|
Tue, 07 Aug 2007 20:19:55 +0200 |
wenzelm |
turned Unify flags into configuration options (global only);
|
file |
diff |
annotate
|
Wed, 09 May 2007 19:37:21 +0200 |
wenzelm |
tuned ML setup;
|
file |
diff |
annotate
|
Mon, 20 Nov 2006 23:47:10 +0100 |
wenzelm |
converted legacy ML scripts;
|
file |
diff |
annotate
|