| Wed, 27 Jul 2011 08:43:58 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 26 Jul 2011 16:50:27 +0200 |
tuned
|
file | diff | annotate |
| Tue, 26 Jul 2011 16:15:03 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Tue, 26 Jul 2011 16:09:08 +0200 |
tuned
|
file | diff | annotate |
| Tue, 26 Jul 2011 15:25:28 +0200 |
tuned
|
file | diff | annotate |
| Tue, 26 Jul 2011 15:52:07 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 26 Jul 2011 13:28:39 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Tue, 26 Jul 2011 13:27:59 +0200 |
intermed: decomment test/../eqsystem.sml OK
|
file | diff | annotate |
| Mon, 25 Jul 2011 08:32:32 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Mon, 25 Jul 2011 08:31:53 +0200 |
tuned
|
file | diff | annotate |
| Tue, 26 Jul 2011 11:36:35 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 26 Jul 2011 09:38:07 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 26 Jul 2011 09:10:01 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Tue, 26 Jul 2011 09:09:49 +0200 |
intermed: uncommented tests, updated protocoll
|
file | diff | annotate |
| Mon, 25 Jul 2011 17:44:19 +0200 |
intermed. updated test + Test_Z_Transform.thy etc
|
file | diff | annotate |
| Mon, 25 Jul 2011 14:19:50 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Mon, 25 Jul 2011 14:19:22 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Mon, 25 Jul 2011 14:18:29 +0200 |
merged
|
file | diff | annotate |
| Mon, 25 Jul 2011 14:18:08 +0200 |
intermed: update test/../ProgLang
|
file | diff | annotate |
| Mon, 25 Jul 2011 08:10:33 +0200 |
update test/../termC.sml
|
file | diff | annotate |
| Mon, 25 Jul 2011 11:52:07 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Fri, 22 Jul 2011 17:09:35 +0200 |
restore Isabelle setup
|
file | diff | annotate |
| Fri, 22 Jul 2011 15:57:36 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Fri, 22 Jul 2011 15:57:22 +0200 |
intermed: uncomment tests
|
file | diff | annotate |
| Fri, 22 Jul 2011 14:01:52 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Fri, 22 Jul 2011 14:01:09 +0200 |
tuned
|
file | diff | annotate |
| Thu, 21 Jul 2011 16:57:21 +0200 |
intermed: uncomment test
|
file | diff | annotate |
| Thu, 21 Jul 2011 12:01:56 +0200 |
merged
|
file | diff | annotate |
| Thu, 21 Jul 2011 11:55:38 +0200 |
finished test/../interface.sml
|
file | diff | annotate |
| Thu, 21 Jul 2011 11:19:01 +0200 |
tuned
|
file | diff | annotate |
| Thu, 21 Jul 2011 11:13:48 +0200 |
tuned
|
file | diff | annotate |
| Thu, 21 Jul 2011 10:51:48 +0200 |
tuned
|
file | diff | annotate |
| Thu, 21 Jul 2011 08:41:28 +0200 |
intermed: uncomment test/../interface
|
file | diff | annotate |
| Wed, 20 Jul 2011 16:53:39 +0200 |
intermed: uncomment test/../interface No Errors
|
file | diff | annotate |
| Wed, 20 Jul 2011 14:55:29 +0200 |
removed error in some PolyEq.program
|
file | diff | annotate |
| Wed, 20 Jul 2011 13:05:32 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Wed, 20 Jul 2011 09:33:20 +0200 |
demo: step into error
|
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:10:46 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Tue, 19 Jul 2011 13:07:28 +0200 |
intermed: uncommented tests
|
file | diff | annotate |
| Tue, 19 Jul 2011 10:28:36 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Tue, 19 Jul 2011 10:16:50 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Tue, 19 Jul 2011 10:16:35 +0200 |
tuned
|
file | diff | annotate |
| Tue, 19 Jul 2011 13:05:52 +0200 |
tuned
|
file | diff | annotate |
| Tue, 19 Jul 2011 13:04:59 +0200 |
tuned
|
file | diff | annotate |
| Tue, 19 Jul 2011 10:25:37 +0200 |
tuned
|
file | diff | annotate |
| Tue, 19 Jul 2011 10:14:22 +0200 |
Automated merge with https://intra.ist.tugraz.at/hg/isa/
|
file | diff | annotate |
| Tue, 19 Jul 2011 10:13:16 +0200 |
tuned
|
file | diff | annotate |
| Tue, 19 Jul 2011 10:09:30 +0200 |
intermed: uncomment tests with CompleteCalc
|
file | diff | annotate |
| Tue, 19 Jul 2011 10:11:09 +0200 |
tuned
|
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 |
| Tue, 19 Jul 2011 09:30:10 +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 |
| Mon, 18 Jul 2011 15:20:04 +0200 |
TESTS not WORKING !
|
file | diff | annotate |
| Wed, 11 May 2011 14:58:07 +0200 |
intermed. ctxt ..: Add_Given doesnt work due to wrong ctxt in Subproblem
|
file | diff | annotate |
| Sat, 16 Apr 2011 10:19:45 +0200 |
Apply_Method transfers ctxt from specification to interpretation
|
file | diff | annotate |
| Mon, 11 Apr 2011 12:56:57 +0200 |
intermed. ctxt introduction
|
file | diff | annotate |
| Fri, 08 Apr 2011 15:16:08 +0200 |
intermed. context integration: parse replaced in some cases
|
file | diff | annotate |
| Wed, 23 Mar 2011 17:20:39 +0100 |
make Test_Isac.thy run in jEdit; intermed.
|
file | diff | annotate |