| Sat, 23 Aug 2008 23:07:46 +0200 | wenzelm | added exec; | changeset | files |
| Sat, 23 Aug 2008 23:07:44 +0200 | wenzelm | moved class Result into static object, removed dynamic tree method; | changeset | files |
| Sat, 23 Aug 2008 23:07:43 +0200 | wenzelm | symbolic message markup; | changeset | files |
| Sat, 23 Aug 2008 23:07:41 +0200 | wenzelm | renamed Markup.MALFORMED to Markup.BAD; | changeset | files |
| Sat, 23 Aug 2008 23:07:39 +0200 | wenzelm | added position, messages; | changeset | files |
| Sat, 23 Aug 2008 23:07:38 +0200 | wenzelm | added messages and process information; | changeset | files |
| Sat, 23 Aug 2008 23:07:36 +0200 | wenzelm | Position properties. | changeset | files |
| Sat, 23 Aug 2008 23:07:34 +0200 | wenzelm | added General/position.scala; | changeset | files |
| Sat, 23 Aug 2008 23:07:30 +0200 | wenzelm | adapted to new IsabelleProcess from Pure.jar; | changeset | files |
| Sat, 23 Aug 2008 23:07:28 +0200 | wenzelm | include ../../classes/Pure.jar; | changeset | files |
| Sat, 23 Aug 2008 21:06:32 +0200 | nipkow | added const Rational | changeset | files |
| Sat, 23 Aug 2008 19:42:17 +0200 | wenzelm | YXML.parse_failsafe; | changeset | files |