--- 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 =