--- 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 :: ..."*)
--- 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 =