Sat, 23 Aug 2008 23:07:44 +0200 moved class Result into static object, removed dynamic tree method;
wenzelm [Sat, 23 Aug 2008 23:07:44 +0200] rev 27973
moved class Result into static object, removed dynamic tree method; removed unused Symbol.Interpretation; class Result: added is_raw, is_system; disabled console echo; added interrupt, kill; IsabelleSystem.exec;
Sat, 23 Aug 2008 23:07:43 +0200 symbolic message markup;
wenzelm [Sat, 23 Aug 2008 23:07:43 +0200] rev 27972
symbolic message markup; init message: class property;
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
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip