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 |