| Fri, 03 Jun 2011 19:37:26 +0200 |
bulwahn |
changing the mira setting again for the mutabelle configuration
|
file |
diff |
annotate
|
| Fri, 03 Jun 2011 07:25:44 +0200 |
bulwahn |
adding more settings to mira's mutabelle configuration
|
file |
diff |
annotate
|
| Sun, 22 May 2011 22:22:25 +0200 |
krauss |
reverted 7fdd8d4908dc -- keeping images from Isabelle_makeall would be too expensive
|
file |
diff |
annotate
|
| Mon, 16 May 2011 16:06:31 +0200 |
krauss |
less fine-grained mira dependencies
|
file |
diff |
annotate
|
| Mon, 16 May 2011 14:35:38 +0200 |
krauss |
mira hack for special settings on lxbroy10
|
file |
diff |
annotate
|
| Mon, 16 May 2011 14:10:58 +0200 |
krauss |
no dependencies for Isabelle_makeall, which will be built in one go
|
file |
diff |
annotate
|
| Mon, 16 May 2011 14:06:07 +0200 |
krauss |
clarified handling of ISABELLE_USEDIR_OPTIONS in mira
|
file |
diff |
annotate
|
| Tue, 26 Apr 2011 09:50:17 +0200 |
krauss |
mutabelle reports: parse results out of log file
|
file |
diff |
annotate
|
| Mon, 18 Apr 2011 12:12:42 +0200 |
krauss |
scheduler for Mutabelle regression
|
file |
diff |
annotate
|
| Mon, 18 Apr 2011 10:00:55 +0200 |
krauss |
tool for importing nightly isatest logs
|
file |
diff |
annotate
|
| Fri, 01 Apr 2011 16:29:58 +0200 |
krauss |
fixed accidental redefinition
|
file |
diff |
annotate
|
| Fri, 01 Apr 2011 12:19:54 +0200 |
krauss |
scheduler for judgement day
|
file |
diff |
annotate
|
| Fri, 01 Apr 2011 09:29:58 +0200 |
krauss |
adapted parsing of session timing (cf. e86b10c68f0b)
|
file |
diff |
annotate
|
| Mon, 28 Mar 2011 09:22:22 +0200 |
krauss |
keep smlnj HOL images around
|
file |
diff |
annotate
|