wenzelm [Fri, 17 Sep 2010 17:09:31 +0200] rev 39749
simplified/clarified (Context_)Position.markup/reported_text;
wenzelm [Fri, 17 Sep 2010 15:51:11 +0200] rev 39748
eliminated markup "location" in favour of more explicit "no_report", which is actually deleted from messages;
wenzelm [Thu, 16 Sep 2010 15:37:12 +0200] rev 39747
Isar "default" step needs to fail for solved problems, for clear distinction of '.' and '..' for example -- amending lapse introduced in 9de4d64eee3b (April 2004);
wenzelm [Thu, 16 Sep 2010 15:32:24 +0200] rev 39746
updated generated file;
blanchet [Fri, 17 Sep 2010 16:38:11 +0200] rev 39745
merged
blanchet [Fri, 17 Sep 2010 01:59:43 +0200] rev 39744
update README
blanchet [Fri, 17 Sep 2010 01:59:30 +0200] rev 39743
regenerate "metis.ML"
blanchet [Fri, 17 Sep 2010 01:58:21 +0200] rev 39742
fix license
blanchet [Fri, 17 Sep 2010 01:56:19 +0200] rev 39741
updated source files with Metis 2.3 (timestamp: 16 Sept. 2010)
blanchet [Fri, 17 Sep 2010 01:22:01 +0200] rev 39740
move functions around