| 2009-06-25 ago | renamed IsabelleProcess to Isabelle_Process; | file | diff | annotate |
| 2009-06-07 ago | static IsabelleSystem.charset; | file | diff | annotate |
| 2009-02-28 ago | moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands); | file | diff | annotate | base |