Tue, 29 Sep 2009 11:49:22 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
Tue, 01 Sep 2009 21:40:10 +0200 | wenzelm | removed old Isar document model; | file | diff | annotate |
Sat, 06 Jun 2009 21:11:23 +0200 | wenzelm | ML_Compiler.exn_message; | file | diff | annotate |
Thu, 04 Jun 2009 22:52:53 +0200 | wenzelm | uniform (short) ids on both sides; | file | diff | annotate |
Sat, 28 Feb 2009 18:28:15 +0100 | wenzelm | fixed headers; | file | diff | annotate |
Sat, 28 Feb 2009 18:00:20 +0100 | wenzelm | moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands); | file | diff | annotate | base |