| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Sat, 29 May 2004 15:06:42 +0200 | wenzelm | Library.read_int; Output.output; | file | diff | annotate |
| Fri, 21 May 2004 21:22:10 +0200 | wenzelm | string_of_vname moved to term.ML; | file | diff | annotate |
| Tue, 11 May 2004 14:00:02 +0200 | berghofe | Eta-expanded function scan_comment to make SmlNJ happy. | file | diff | annotate |
| Mon, 10 May 2004 19:26:58 +0200 | wenzelm | support nested comments; | file | diff | annotate |
| Mon, 26 Apr 2004 15:00:20 +0200 | wenzelm | added is_ascii_identifier; | file | diff | annotate |
| Fri, 07 Feb 2003 15:36:12 +0100 | nipkow | Added (* ... *) comments in formulae. | file | diff | annotate |
| Wed, 16 Jan 2002 23:19:34 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Fri, 05 Oct 2001 21:48:04 +0200 | wenzelm | added "num" token; | file | diff | annotate |
| Thu, 13 Jul 2000 23:19:40 +0200 | wenzelm | added read_xnum; | file | diff | annotate |
| Thu, 13 Jul 2000 11:36:29 +0200 | wenzelm | added internal, dest_internal; | file | diff | annotate |
| Thu, 07 Oct 1999 14:32:32 +0200 | wenzelm | read_idents; | file | diff | annotate |
| Sat, 04 Sep 1999 21:04:07 +0200 | wenzelm | removed binding; | file | diff | annotate |
| Sat, 10 Jul 1999 21:40:14 +0200 | wenzelm | more specific exn; | file | diff | annotate |
| Mon, 16 Nov 1998 10:40:23 +0100 | wenzelm | tuned usage of read; | file | diff | annotate |
| Sat, 14 Nov 1998 13:23:49 +0100 | wenzelm | added read_nat; | file | diff | annotate |
| Mon, 21 Sep 1998 10:43:54 +0200 | paulson | Unary minus is now #- and not #~ | file | diff | annotate |
| Mon, 10 Aug 1998 17:01:02 +0200 | wenzelm | dest_binding, dest_skolem; | file | diff | annotate |
| Thu, 06 Aug 1998 10:28:44 +0200 | wenzelm | binding / skolem vars; | file | diff | annotate |
| Thu, 02 Jul 1998 17:26:47 +0200 | wenzelm | Symbol.beginning; | file | diff | annotate |
| Mon, 18 May 1998 17:57:47 +0200 | wenzelm | Symbol.stopper; | file | diff | annotate |
| Wed, 13 May 1998 12:21:45 +0200 | wenzelm | adapted to new Scan.fail_with / Scan.!!; | file | diff | annotate |
| Thu, 07 May 1998 18:05:46 +0200 | wenzelm | added scan_tvar; | file | diff | annotate |
| Mon, 09 Mar 1998 16:12:39 +0100 | wenzelm | adapted to symbols, scan; | file | diff | annotate |
| Fri, 30 Jan 1998 11:31:21 +0100 | wenzelm | added read_var; | file | diff | annotate |
| Thu, 20 Nov 1997 12:48:00 +0100 | wenzelm | added implode_xstr: string list -> string, explode_xstr: string -> string list; | file | diff | annotate |
| Fri, 10 Oct 1997 15:46:50 +0200 | wenzelm | added longid; | file | diff | annotate |
| Thu, 06 Feb 1997 17:25:17 +0100 | wenzelm | added string_of_vname' (treats neg. index as free); | file | diff | annotate |
| Tue, 10 Dec 1996 12:55:37 +0100 | wenzelm | tokenize: no gets exploded char list; | file | diff | annotate |
| Fri, 16 Feb 1996 14:17:34 +0100 | paulson | Elimination of fully-functorial style. | file | diff | annotate |
| Tue, 06 Jun 1995 10:33:32 +0200 | lcp | Now string_of_vname checks for the empty variable name, | file | diff | annotate |
| Fri, 19 Aug 1994 15:35:38 +0200 | wenzelm | replaced id, var, tid, tvar by idT, varT, tidT, tvarT; | file | diff | annotate |
| Wed, 18 May 1994 15:24:39 +0200 | wenzelm | extended signature SCANNER by some basic scanners and type lexicon; | file | diff | annotate |
| Fri, 22 Apr 1994 12:43:53 +0200 | clasohm | changed the way a grammar is generated to allow the new parser to work; | file | diff | annotate |
| Wed, 19 Jan 1994 14:21:26 +0100 | wenzelm | MAJOR INTERNAL CHANGE: extend and merge operations of syntax tables | file | diff | annotate |
| Mon, 29 Nov 1993 12:27:29 +0100 | wenzelm | added SCANNER; | file | diff | annotate |
| Mon, 04 Oct 1993 15:30:49 +0100 | wenzelm | lots of internal cleaning and tuning; | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |