Sat, 23 Aug 2008 23:07:41 +0200 renamed Markup.MALFORMED to Markup.BAD;
wenzelm [Sat, 23 Aug 2008 23:07:41 +0200] rev 27971
renamed Markup.MALFORMED to Markup.BAD;
Sat, 23 Aug 2008 23:07:39 +0200 added position, messages;
wenzelm [Sat, 23 Aug 2008 23:07:39 +0200] rev 27970
added position, messages; renamed messages to content, malformed to bad;
Sat, 23 Aug 2008 23:07:38 +0200 added messages and process information;
wenzelm [Sat, 23 Aug 2008 23:07:38 +0200] rev 27969
added messages and process information;
Sat, 23 Aug 2008 23:07:36 +0200 Position properties.
wenzelm [Sat, 23 Aug 2008 23:07:36 +0200] rev 27968
Position properties.
Sat, 23 Aug 2008 23:07:34 +0200 added General/position.scala;
wenzelm [Sat, 23 Aug 2008 23:07:34 +0200] rev 27967
added General/position.scala;
Sat, 23 Aug 2008 23:07:30 +0200 adapted to new IsabelleProcess from Pure.jar;
wenzelm [Sat, 23 Aug 2008 23:07:30 +0200] rev 27966
adapted to new IsabelleProcess from Pure.jar; IsabellePlugin.result_content decodes symbols;
Sat, 23 Aug 2008 23:07:28 +0200 include ../../classes/Pure.jar;
wenzelm [Sat, 23 Aug 2008 23:07:28 +0200] rev 27965
include ../../classes/Pure.jar;
Sat, 23 Aug 2008 21:06:32 +0200 added const Rational
nipkow [Sat, 23 Aug 2008 21:06:32 +0200] rev 27964
added const Rational added more function puzzles
Sat, 23 Aug 2008 19:42:17 +0200 YXML.parse_failsafe;
wenzelm [Sat, 23 Aug 2008 19:42:17 +0200] rev 27963
YXML.parse_failsafe; removed full_markup, YXML mode (default); renamed output_command to command; renamed output_ML to ML; tuned;
Sat, 23 Aug 2008 19:42:16 +0200 shell_prefix: physical /bin/env on Cygwin;
wenzelm [Sat, 23 Aug 2008 19:42:16 +0200] rev 27962
shell_prefix: physical /bin/env on Cygwin;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip