Thu, 28 Aug 2003 01:56:40 +0200 |
skalberg |
Extended the notion of letter and digit, such that now one may use greek,
|
file |
diff |
annotate
|
Wed, 27 Nov 2002 17:20:49 +0100 |
berghofe |
default_output now escapes \'s more carefully.
|
file |
diff |
annotate
|
Thu, 05 Sep 2002 14:03:03 +0200 |
paulson |
added checking so that (rename_tac "x y") is rejected, since
|
file |
diff |
annotate
|
Wed, 20 Feb 2002 00:55:42 +0100 |
wenzelm |
added is_quasi;
|
file |
diff |
annotate
|
Fri, 09 Nov 2001 00:14:17 +0100 |
wenzelm |
got rid of obsolete input filtering;
|
file |
diff |
annotate
|
Wed, 31 Jan 2001 22:14:53 +0100 |
wenzelm |
added strip_blanks;
|
file |
diff |
annotate
|
Sun, 21 Jan 2001 19:54:05 +0100 |
wenzelm |
added spaces;
|
file |
diff |
annotate
|
Tue, 16 Jan 2001 21:53:57 +0100 |
wenzelm |
export plain_output;
|
file |
diff |
annotate
|
Fri, 29 Dec 2000 19:45:01 +0100 |
wenzelm |
scan: malformed result;
|
file |
diff |
annotate
|
Sat, 23 Dec 2000 22:53:05 +0100 |
wenzelm |
tuned length;
|
file |
diff |
annotate
|
Fri, 15 Sep 2000 00:16:36 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Tue, 30 May 2000 16:02:56 +0200 |
wenzelm |
fixed comment;
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:02:46 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Mon, 03 Apr 2000 21:05:07 +0200 |
wenzelm |
tuned recover;
|
file |
diff |
annotate
|
Thu, 10 Feb 2000 20:52:59 +0100 |
wenzelm |
is_symbolic;
|
file |
diff |
annotate
|
Wed, 30 Jun 1999 12:22:31 +0200 |
wenzelm |
added sync marker;
|
file |
diff |
annotate
|
Fri, 21 May 1999 16:22:39 +0200 |
wenzelm |
avoid string constants;
|
file |
diff |
annotate
|
Wed, 12 May 1999 16:52:28 +0200 |
wenzelm |
rearranged order of modules;
|
file |
diff |
annotate
|
Tue, 09 Mar 1999 12:10:13 +0100 |
wenzelm |
tuned using nth_elem_string, exists_string;
|
file |
diff |
annotate
|
Thu, 11 Feb 1999 21:16:30 +0100 |
wenzelm |
added output_width;
|
file |
diff |
annotate
|
Thu, 04 Feb 1999 18:14:40 +0100 |
wenzelm |
added 'use';
|
file |
diff |
annotate
|
Fri, 29 Jan 1999 17:12:14 +0100 |
oheimb |
renamed space2 to spacespace
|
file |
diff |
annotate
|
Wed, 13 Jan 1999 15:18:02 +0100 |
wenzelm |
fixed titles;
|
file |
diff |
annotate
|
Wed, 13 Jan 1999 12:44:33 +0100 |
wenzelm |
files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
|
file |
diff |
annotate
|