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 |