# HG changeset patch
# User wenzelm
# Date 926969794 -7200
# Node ID 58b9785f8534e66c6ff2c961a11309d5d5584274
# Parent  be06ed5d0b4cbd787b94b1a2837f140033af41fd
cleaned comments;

diff -r be06ed5d0b4c -r 58b9785f8534 src/Pure/Thy/thy_parse.ML
--- a/src/Pure/Thy/thy_parse.ML	Mon May 17 21:36:11 1999 +0200
+++ b/src/Pure/Thy/thy_parse.ML	Mon May 17 21:36:34 1999 +0200
@@ -238,8 +238,6 @@
 
 (* types *)
 
-(* FIXME clean!! *)
-
 (*Parse an identifier, but only if it is not followed by "::", "=" or ",";
   the exclusion of a postfix comma can be controlled to allow expressions
   like "(id, id)" but disallow ones like "'a => id id,id :: ..."*)
diff -r be06ed5d0b4c -r 58b9785f8534 src/Pure/Thy/thy_scan.ML
--- a/src/Pure/Thy/thy_scan.ML	Mon May 17 21:36:11 1999 +0200
+++ b/src/Pure/Thy/thy_scan.ML	Mon May 17 21:36:34 1999 +0200
@@ -3,9 +3,6 @@
     Author:	Markus Wenzel, TU Muenchen
 
 Lexer for the outer Isabelle syntax.
-
-TODO:
-  - old vs. new: interpreted strings, no 'ML', var!?;
 *)
 
 signature THY_SCAN =