| Mon, 29 Sep 2014 10:39:39 +0200 | blanchet | parse back type of SPASS proof variables | changeset | files |
| Mon, 29 Sep 2014 10:39:39 +0200 | blanchet | make sure no '__' suffixes make it until Isar proof | changeset | files |
| Mon, 29 Sep 2014 10:39:39 +0200 | blanchet | rename skolem symbols in the negative case as well | changeset | files |
| Mon, 29 Sep 2014 10:39:39 +0200 | blanchet | reintroduced 'rel_cases' in docs | changeset | files |
| Mon, 29 Sep 2014 10:39:39 +0200 | blanchet | added options to Mirabelle | changeset | files |
| Mon, 29 Sep 2014 10:39:39 +0200 | blanchet | tuning | changeset | files |
| Mon, 29 Sep 2014 11:18:25 +0200 | wenzelm | faster machine for slow/bulky polyml-5.3.0 tests (notably HOL-Proofs); | changeset | files |
| Mon, 29 Sep 2014 09:57:34 +0200 | wenzelm | pro-forma support for polyml-5.5.3 (presently SVN 1960); | changeset | files |
| Mon, 29 Sep 2014 08:13:23 +0200 | haftmann | corrected white-space accident | changeset | files |
| Sun, 28 Sep 2014 20:27:47 +0200 | haftmann | tuned | changeset | files |
| Sun, 28 Sep 2014 20:27:46 +0200 | haftmann | moved to HOL and generalized | changeset | files |
| Fri, 26 Sep 2014 19:38:26 +0200 | wenzelm | merged | changeset | files |
| Fri, 26 Sep 2014 15:10:02 +0200 | wenzelm | proper range for Antiq tokens; | changeset | files |
| Fri, 26 Sep 2014 15:05:11 +0200 | wenzelm | support for sub-expression markup; | changeset | files |
| Fri, 26 Sep 2014 14:29:06 +0200 | wenzelm | tuned message; | changeset | files |
| Fri, 26 Sep 2014 14:43:28 +0200 | desharna | refactor fp_sugar move theorems | changeset | files |
| Fri, 26 Sep 2014 14:43:26 +0200 | desharna | refactor fp_sugar move theorems | changeset | files |
| Fri, 26 Sep 2014 14:41:54 +0200 | desharna | refactor fp_sugar move theorems | changeset | files |
| Fri, 26 Sep 2014 14:41:15 +0200 | desharna | refactor fp_sugar move theorems | changeset | files |
| Fri, 26 Sep 2014 14:41:08 +0200 | desharna | refactor fp_sugar move theorems | changeset | files |
| Fri, 26 Sep 2014 14:36:54 +0200 | desharna | refactor fp_sugar with empty substructures | changeset | files |
| Fri, 26 Sep 2014 14:35:09 +0200 | desharna | add attribute 'case_names' to 'set_case' | changeset | files |
| Fri, 26 Sep 2014 09:58:35 +0200 | desharna | make 'case_transfer' tactic more robust | changeset | files |
| Thu, 25 Sep 2014 18:47:32 +0200 | haftmann | more correct precedence of do-notation | changeset | files |
| Thu, 25 Sep 2014 17:07:44 +0200 | wenzelm | merged | changeset | files |
| Thu, 25 Sep 2014 15:01:42 +0200 | wenzelm | save image as PNG or PDF; | changeset | files |
| Thu, 25 Sep 2014 12:22:12 +0200 | wenzelm | support for PNG output; | changeset | files |
| Thu, 25 Sep 2014 10:36:39 +0200 | wenzelm | more isatests (on lxbroy4); | changeset | files |
| Thu, 25 Sep 2014 16:35:56 +0200 | desharna | document 'corec_transfer' | changeset | files |
| Thu, 25 Sep 2014 16:35:56 +0200 | desharna | generate 'corec_transfer' for codatatypes | changeset | files |