| Sat, 23 Aug 2008 17:22:54 +0200 | wenzelm | added getenv; | changeset | files |
| Sat, 23 Aug 2008 17:22:53 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 23 Aug 2008 17:22:52 +0200 | wenzelm | Isabelle outer syntax. | changeset | files |
| Sat, 23 Aug 2008 17:22:51 +0200 | wenzelm | added Tools/isabelle_process.scala, Tools/isabelle_syntax.scala; | changeset | files |
| Sat, 23 Aug 2008 17:22:51 +0200 | wenzelm | Isabelle process management -- always reactive due to multi-threaded I/O. | changeset | files |
| Sat, 23 Aug 2008 11:48:52 +0200 | wenzelm | renamed DOM to document, add xml version and optional stylesheets; | changeset | files |
| Fri, 22 Aug 2008 21:25:19 +0200 | wenzelm | tuned comments; | changeset | files |