| Thu, 22 Dec 2016 11:36:20 +0100 |
renamed Ctree.ptree --> Ctree.ctree
|
file | diff | annotate |
| Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 |
Test_Isac.thy works until "Interpret/mstools.sml"
|
file | diff | annotate |
| Wed, 13 Jun 2012 07:28:39 +0200 |
first dialog sequence for error patterns
|
file | diff | annotate |
| Tue, 03 May 2011 16:20:55 +0200 |
provided all "x+1=2" with typeconstraint real ("equality" is just bool)
|
file | diff | annotate |
| Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
| Mon, 06 Sep 2010 17:07:28 +0200 |
changed argument types for scripts
|
file | diff | annotate |
| Mon, 06 Sep 2010 15:53:18 +0200 |
updated Knowledge/Root.thy, plus changes ahead.
|
file | diff | annotate |
| Mon, 06 Sep 2010 15:09:37 +0200 |
updated Knowledge/Equation.thy, plus changes ahead.
|
file | diff | annotate |
| Fri, 20 Aug 2010 12:25:37 +0200 |
finished update ME/calchead.sml + pushed updates over all sml+test
|
file | diff | annotate |
| Wed, 18 Aug 2010 13:55:23 +0200 |
replaced None-->NONE, Some-->SOME over all files
|
file | diff | annotate |
| Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |