Wed, 20 Jul 2011 14:55:29 +0200 |
removed error in some PolyEq.program
|
file | diff | annotate |
Wed, 20 Jul 2011 11:47:32 +0200 |
start chuber
|
file | diff | annotate |
Wed, 20 Jul 2011 09:33:20 +0200 |
demo: step into error
|
file | diff | annotate |
Tue, 19 Jul 2011 17:03:02 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
Tue, 19 Jul 2011 14:01:27 +0200 |
test/../* "equality (1+-1*2+x=0)" --> "equality (1+-1*2+x=(0::real))",
|
file | diff | annotate |
Tue, 19 Jul 2011 13:07:28 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
Tue, 19 Jul 2011 09:53:30 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
Tue, 19 Jul 2011 09:43:01 +0200 |
intermed: uncomment tests with CompleteCalc
|
file | diff | annotate |
Mon, 18 Jul 2011 17:21:21 +0200 |
intermed: test/../Frontend/interface.sml
|
file | diff | annotate |
Tue, 28 Jun 2011 15:14:00 +0200 |
intermed: make autocalc..CompleteCalc run with x+1=2
|
file | diff | annotate |
Thu, 23 Jun 2011 10:17:04 +0200 |
intermed: update test/..Frontend/interface.sml
|
file | diff | annotate |
Mon, 20 Jun 2011 17:33:06 +0200 |
intermed: bakk msteger
|
file | diff | annotate |
Tue, 03 May 2011 16:23:07 +0200 |
tuned
|
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, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
Thu, 10 Mar 2011 17:05:09 +0100 |
intermed.update Isabelle2011: Not --> HOL.Not
|
file | diff | annotate |
Wed, 03 Nov 2010 11:54:53 +0100 |
----- final tests go through (test/../interface.sml)
|
file | diff | annotate |
Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
Sun, 10 Oct 2010 14:15:43 +0200 |
update finished for test/../integrate.sml
|
file | diff | annotate |
Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |