src/Pure/Thy/thy_scan.ML
1995-03-28 ago changed string scanner so that newlines ('\n') are allowed and ignored inside
1994-11-14 ago added check for newlines not enclosed by '\' inside strings
1994-05-19 ago (replaces Thy/scan.ML)