| Sat, 02 Jul 2011 22:55:58 +0200 | haftmann | install case certificate for If after code_datatype declaration for bool | changeset | files |
| Sat, 02 Jul 2011 22:14:47 +0200 | haftmann | tuned typo | changeset | files |
| Mon, 04 Jul 2011 16:51:45 +0200 | wenzelm | pervasive Basic_Library in Scala; | changeset | files |
| Mon, 04 Jul 2011 16:27:11 +0200 | wenzelm | some support for theory files within Isabelle/Scala session; | changeset | files |
| Mon, 04 Jul 2011 13:43:10 +0200 | wenzelm | imitate exception ERROR of Isabelle/ML; | changeset | files |
| Sun, 03 Jul 2011 19:53:35 +0200 | wenzelm | eliminated null; | changeset | files |
| Sun, 03 Jul 2011 19:42:32 +0200 | wenzelm | more explicit edit_node vs. init_node; | changeset | files |