Tue, 29 Sep 2009 11:49:22 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
Sun, 19 Jul 2009 19:24:04 +0200 | wenzelm | parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs; | file | diff | annotate |
Tue, 30 Jun 2009 22:23:33 +0200 | wenzelm | more detailed timing message; | file | diff | annotate |
Wed, 17 Jun 2009 17:07:26 +0200 | wenzelm | usedir: internal timing option; | file | diff | annotate |
Sat, 06 Jun 2009 21:11:23 +0200 | wenzelm | ML_Compiler.exn_message; | 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 |