| Wed, 18 Sep 2013 20:32:11 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 18 Sep 2013 20:09:26 +0200 | wenzelm | added option "jedit_auto_load"; | changeset | files |
| Wed, 18 Sep 2013 16:18:17 +0200 | wenzelm | limit for text height; | changeset | files |
| Wed, 18 Sep 2013 16:09:38 +0200 | wenzelm | improved layout, with special treatment for ScrollPane; | changeset | files |
| Wed, 18 Sep 2013 15:50:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 18 Sep 2013 15:09:15 +0200 | wenzelm | improved FlowLayout for wrapping of components over multiple lines; | changeset | files |
| Wed, 18 Sep 2013 13:31:44 +0200 | wenzelm | updated to polyml-5.5.1; | changeset | files |
| Wed, 18 Sep 2013 13:18:51 +0200 | wenzelm | improved printing of exception trace in Poly/ML 5.5.1; | changeset | files |
| Wed, 18 Sep 2013 11:36:12 +0200 | wenzelm | more antiquotations; | changeset | files |
| Wed, 18 Sep 2013 11:08:28 +0200 | wenzelm | moved module into plain Isabelle/ML user space; | changeset | files |
| Wed, 18 Sep 2013 20:44:10 +0200 | blanchet | more primcorec tactics | changeset | files |
| Wed, 18 Sep 2013 20:43:55 +0200 | blanchet | enrich data structure | changeset | files |
| Wed, 18 Sep 2013 19:57:59 +0200 | blanchet | include more "discI" rules | changeset | files |
| Wed, 18 Sep 2013 18:57:32 +0200 | blanchet | updated docs | changeset | files |
| Wed, 18 Sep 2013 18:57:09 +0200 | blanchet | tuning (alphabetical order) | changeset | files |
| Wed, 18 Sep 2013 18:56:48 +0200 | blanchet | removed spurious "simp" | changeset | files |
| Wed, 18 Sep 2013 18:53:24 +0200 | blanchet | note "discI" | changeset | files |
| Wed, 18 Sep 2013 18:12:40 +0200 | blanchet | tuned tactics | changeset | files |
| Wed, 18 Sep 2013 17:36:47 +0200 | blanchet | no need thanks to "Code.abort" | changeset | files |
| Wed, 18 Sep 2013 16:44:19 +0200 | blanchet | minor change related to code equations in primcorec | changeset | files |
| Wed, 18 Sep 2013 16:09:15 +0200 | traytel | don't unfold as eager as in 11a77e4aa98b | changeset | files |
| Wed, 18 Sep 2013 16:09:02 +0200 | traytel | tuned proofs | changeset | files |
| Wed, 18 Sep 2013 15:56:15 +0200 | blanchet | use singular to avoid confusion | changeset | files |
| Wed, 18 Sep 2013 15:33:32 +0200 | blanchet | new tactics for constructor view | changeset | files |