Thu, 19 Mar 2009 21:05:40 +0100 eval_antiquotes: joint scanning of ML tokens and antiquotations;
wenzelm [Thu, 19 Mar 2009 21:05:40 +0100] rev 30594
eval_antiquotes: joint scanning of ML tokens and antiquotations;
Thu, 19 Mar 2009 21:04:53 +0100 added scan_antiq;
wenzelm [Thu, 19 Mar 2009 21:04:53 +0100] rev 30593
added scan_antiq; more robust scan_ml: plain scanning without cut, regular Symbol_Pos.content instead of Symbol_Pos.implode (which contains spurious Symbol.DEL is used with proper positions);
Thu, 19 Mar 2009 19:49:09 +0100 RAW: provide dummy Isar.main to make tty work gracefully (with ML toplevel);
wenzelm [Thu, 19 Mar 2009 19:49:09 +0100] rev 30592
RAW: provide dummy Isar.main to make tty work gracefully (with ML toplevel);
Thu, 19 Mar 2009 18:20:27 +0100 added tokenize;
wenzelm [Thu, 19 Mar 2009 18:20:27 +0100] rev 30591
added tokenize; internal scan_str: ensure Symbol.is_regular, otherwise it might swallow the stopper and crash!
Thu, 19 Mar 2009 16:56:51 +0100 parameterized datatype antiquote and read operation;
wenzelm [Thu, 19 Mar 2009 16:56:51 +0100] rev 30590
parameterized datatype antiquote and read operation;
Thu, 19 Mar 2009 15:44:14 +0100 Antiquote.Text: keep full position information;
wenzelm [Thu, 19 Mar 2009 15:44:14 +0100] rev 30589
Antiquote.Text: keep full position information;
Thu, 19 Mar 2009 15:22:53 +0100 OuterLex.read_antiq;
wenzelm [Thu, 19 Mar 2009 15:22:53 +0100] rev 30588
OuterLex.read_antiq;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip