| Wed, 16 Jul 2014 10:11:25 +0200 | desharna | fix rel_cases | changeset | files |
| Tue, 15 Jul 2014 17:49:54 +0200 | blanchet | made SML/NJ happier | changeset | files |
| Tue, 15 Jul 2014 11:13:43 +0200 | kleing | add ISABELLE_GHC settings for isatest | changeset | files |
| Mon, 14 Jul 2014 15:39:23 +0200 | noschinl | mira.py: building jEdit plugin is required for makeall | changeset | files |
| Tue, 15 Jul 2014 00:35:07 +0200 | blanchet | took out 'rel_cases' for now because of failing tactic | changeset | files |
| Tue, 15 Jul 2014 00:21:32 +0200 | blanchet | record MaSh algorithm in spying data | changeset | files |
| Tue, 15 Jul 2014 00:21:32 +0200 | blanchet | tuned whitespace (also in strings) | changeset | files |