Sun, 25 Jun 2000 23:48:32 +0200 | wenzelm | exception OUTPUT_FAIL of (string * Position.T) * exn | file | diff | annotate |
Fri, 05 May 2000 22:09:41 +0200 | wenzelm | GPLed; | file | diff | annotate |
Wed, 22 Dec 1999 20:28:56 +0100 | wenzelm | text: string list; | file | diff | annotate |
Wed, 29 Sep 1999 13:48:35 +0200 | wenzelm | added string_of: text -> string; | file | diff | annotate |
Tue, 03 Aug 1999 19:04:02 +0200 | wenzelm | improved interest; | file | diff | annotate |
Tue, 25 May 1999 20:21:05 +0200 | wenzelm | renamed empty to none; | file | diff | annotate |
Fri, 30 Apr 1999 18:04:42 +0200 | wenzelm | added Isar/comment.ML; | file | diff | annotate |