| Wed, 02 Sep 2009 16:29:50 +0200 | boehmes | removed errors overseen in previous changes | changeset | files |
| Wed, 02 Sep 2009 16:23:53 +0200 | boehmes | moved Mirabelle from HOL/Tools to HOL, | changeset | files |
| Wed, 02 Sep 2009 16:02:37 +0200 | boehmes | removed unused signature | changeset | files |
| Wed, 02 Sep 2009 20:49:04 +0200 | wenzelm | explicit checks; | changeset | files |
| Wed, 02 Sep 2009 17:33:25 +0200 | wenzelm | updated Poly/ML SVN version; | changeset | files |
| Wed, 02 Sep 2009 16:51:19 +0200 | wenzelm | eval/location_props: always produce YXML markup, independent of print_mode; | changeset | files |
| Wed, 02 Sep 2009 16:25:44 +0200 | wenzelm | reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools; | changeset | files |
| Wed, 02 Sep 2009 14:11:45 +0200 | wenzelm | tuned ML message; | changeset | files |
| Wed, 02 Sep 2009 12:20:17 +0200 | nipkow | added "using" to blacklist | changeset | files |
| Wed, 02 Sep 2009 10:54:52 +0200 | wenzelm | merged | changeset | files |
| Wed, 02 Sep 2009 10:35:47 +0200 | wenzelm | merged | changeset | files |
| Tue, 01 Sep 2009 21:40:10 +0200 | wenzelm | removed old Isar document model; | changeset | files |
| Tue, 01 Sep 2009 21:46:38 +0200 | haftmann | corrected spelling | changeset | files |
| Tue, 01 Sep 2009 21:44:19 +0200 | haftmann | merged | changeset | files |
| Tue, 01 Sep 2009 17:02:09 +0200 | haftmann | added -q switch for run in qnd mode | changeset | files |
| Tue, 01 Sep 2009 16:39:05 +0200 | haftmann | code generator is now a separate component | changeset | files |
| Tue, 01 Sep 2009 16:00:59 +0200 | haftmann | tuned document | changeset | files |
| Tue, 01 Sep 2009 16:00:57 +0200 | haftmann | some reorganization of number theory | changeset | files |
| Tue, 01 Sep 2009 15:39:33 +0200 | haftmann | some reorganization of number theory | changeset | files |
| Tue, 01 Sep 2009 14:13:34 +0200 | haftmann | merged | changeset | files |
| Tue, 01 Sep 2009 14:12:18 +0200 | haftmann | tuned | changeset | files |
| Mon, 24 Aug 2009 08:31:41 +0200 | haftmann | avoid long line | changeset | files |
| Tue, 01 Sep 2009 19:48:11 +0200 | nipkow | added txt to blacklist | changeset | files |
| Tue, 01 Sep 2009 21:03:04 +0200 | wenzelm | Isabelle_Process: receiver as Actor, not EventBus; | changeset | files |
| Tue, 01 Sep 2009 15:21:22 +0200 | boehmes | merged | changeset | files |
| Tue, 01 Sep 2009 15:20:21 +0200 | boehmes | Mirabelle: actions are responsible for their log messages, output is better readable | changeset | files |
| Tue, 01 Sep 2009 14:57:03 +0200 | wenzelm | merged | changeset | files |
| Tue, 01 Sep 2009 14:10:38 +0200 | boehmes | merged | changeset | files |
| Tue, 01 Sep 2009 14:09:59 +0200 | boehmes | Mirabelle: added preliminary documentation, | changeset | files |
| Mon, 31 Aug 2009 19:28:37 +0200 | boehmes | Mirabelle: explicit command blacklist, preliminary documentation | changeset | files |