| Wed, 20 Feb 2013 16:21:04 +0100 |
more precise error
|
file | diff | annotate |
| Fri, 15 Feb 2013 10:00:25 +0100 |
tuned code
|
file | diff | annotate |
| Thu, 07 Feb 2013 18:39:24 +0100 |
more robustness in Isar proof reconstruction (cf. bug report by Ondrej)
|
file | diff | annotate |
| Thu, 07 Feb 2013 18:24:31 +0100 |
more precise error message
|
file | diff | annotate |
| Wed, 02 Jan 2013 20:53:01 +0100 |
removed old, unused code
|
file | diff | annotate |
| Fri, 02 Nov 2012 16:16:48 +0100 |
several improvements to Isar proof reconstruction, by Steffen Smolka (step merging in case splits, time measurements, etc.)
|
file | diff | annotate |
| Wed, 16 May 2012 18:16:51 +0200 |
more helpful error message
|
file | diff | annotate |
| Tue, 15 May 2012 13:06:15 +0200 |
made SML/NJ happy
|
file | diff | annotate |
| Mon, 14 May 2012 15:54:26 +0200 |
repaired snag in debug function
|
file | diff | annotate |
| Mon, 14 May 2012 15:54:26 +0200 |
added debugging function
|
file | diff | annotate |
| Mon, 23 Jan 2012 17:40:32 +0100 |
renamed two files to make room for a new file
|
file | diff | annotate | base |