wenzelm [Fri, 08 Aug 2008 16:54:33 +0200] rev 27793
tuned formatting;
krauss [Fri, 08 Aug 2008 15:36:40 +0200] rev 27792
clean up dead code
wenzelm [Fri, 08 Aug 2008 13:36:44 +0200] rev 27791
made SML/NJ happy;
krauss [Fri, 08 Aug 2008 09:44:16 +0200] rev 27790
FundefLib.try_proof : attempt a proof and see if it works
nipkow [Fri, 08 Aug 2008 09:26:15 +0200] rev 27789
added lemmas
wenzelm [Thu, 07 Aug 2008 23:56:45 +0200] rev 27788
inner_syntax markup is back;
wenzelm [Thu, 07 Aug 2008 23:32:49 +0200] rev 27787
disabled inner_syntax markup for now;
wenzelm [Thu, 07 Aug 2008 22:32:03 +0200] rev 27786
added read_token -- with optional YXML encoding of position;
tuned parse operations: print position instead of echoing input (now encoded!);
do not export obsolete read operation;
wenzelm [Thu, 07 Aug 2008 22:32:01 +0200] rev 27785
parse_token: use Syntax.read_token, pass full position information;
wenzelm [Thu, 07 Aug 2008 21:13:01 +0200] rev 27784
tuned;
wenzelm [Thu, 07 Aug 2008 21:07:57 +0200] rev 27783
map_default: more explicit scope;
wenzelm [Thu, 07 Aug 2008 21:07:55 +0200] rev 27782
datatype lexicon: alternative representation using nested Symtab.table;
wenzelm [Thu, 07 Aug 2008 19:21:43 +0200] rev 27781
simplified Antiquote signature;
wenzelm [Thu, 07 Aug 2008 19:21:42 +0200] rev 27780
more precise positions due to SymbolsPos.implode_delim;
added source' for SymbolPos.T;
wenzelm [Thu, 07 Aug 2008 19:21:41 +0200] rev 27779
simplified Antiq: regular SymbolPos.text with position;
renamed read_arguments to read_antiq;
tuned;
wenzelm [Thu, 07 Aug 2008 19:21:40 +0200] rev 27778
renamed SymbolPos.scan_position to SymbolPos.scan_pos;
implode/explode: explicit type text = string;
added implode_delim;
explode: Position.reset_range;
wenzelm [Thu, 07 Aug 2008 19:21:39 +0200] rev 27777
only increment column if valid;
more robust handling of invalid entries;
clarified line/line_file: no column here;
added start = (1, 1);
added reset_range;
tuned;
wenzelm [Thu, 07 Aug 2008 19:21:38 +0200] rev 27776
install_pp Position.T;
wenzelm [Thu, 07 Aug 2008 19:21:37 +0200] rev 27775
Position.start;
wenzelm [Thu, 07 Aug 2008 13:45:15 +0200] rev 27774
SymbolPos.explode;
wenzelm [Thu, 07 Aug 2008 13:45:13 +0200] rev 27773
improved position handling due to SymbolPos.T;
wenzelm [Thu, 07 Aug 2008 13:45:11 +0200] rev 27772
improved position handling due to SymbolPos.T;
SymbolPos.scan_comment;
tuned;
wenzelm [Thu, 07 Aug 2008 13:45:09 +0200] rev 27771
Antiquote.read/read_arguments;
wenzelm [Thu, 07 Aug 2008 13:45:07 +0200] rev 27770
updated type of nested sources;
wenzelm [Thu, 07 Aug 2008 13:45:05 +0200] rev 27769
improved position handling due to SymbolPos.T;
SymbolPos.scan_comment_body;
tuned;
wenzelm [Thu, 07 Aug 2008 13:45:03 +0200] rev 27768
adapted Scan.extend_lexicon/merge_lexicons;
wenzelm [Thu, 07 Aug 2008 13:44:56 +0200] rev 27767
renamed scan_antiquotes to read;
renamed scan_arguments to read_arguments;
improved position handling due to SymbolPos.T;
tuned;
wenzelm [Thu, 07 Aug 2008 13:44:52 +0200] rev 27766
export not_eof;