src/Pure/Thy/thy_scan.ML
changeset 6667 58b9785f8534
parent 6207 58e9f980bd4f
child 11819 9283b3c11234
     1.1 --- a/src/Pure/Thy/thy_scan.ML	Mon May 17 21:36:11 1999 +0200
     1.2 +++ b/src/Pure/Thy/thy_scan.ML	Mon May 17 21:36:34 1999 +0200
     1.3 @@ -3,9 +3,6 @@
     1.4      Author:	Markus Wenzel, TU Muenchen
     1.5  
     1.6  Lexer for the outer Isabelle syntax.
     1.7 -
     1.8 -TODO:
     1.9 -  - old vs. new: interpreted strings, no 'ML', var!?;
    1.10  *)
    1.11  
    1.12  signature THY_SCAN =