Thu, 18 Nov 2010 17:46:22 +0100 |
Walther Neuper |
reactivated by 'hg up -C isac-update-Isa09-2'
isac-update-Isa09-2
|
changeset |
files
|
Thu, 18 Nov 2010 17:41:20 +0100 |
Walther Neuper |
reactivated by 'hg branch --force decompose-isar'
decompose-isar
|
changeset |
files
|
Thu, 18 Nov 2010 17:36:07 +0100 |
Walther Neuper |
hg merge decompose-isar
isac-update-Isa09-2
|
changeset |
files
|
Thu, 18 Nov 2010 17:28:45 +0100 |
Walther Neuper |
material for teacher course/T* started, Basics finished, Rewrite partial
isac-update-Isa09-2
|
changeset |
files
|
Wed, 03 Nov 2010 11:54:53 +0100 |
Walther Neuper |
----- final tests go through (test/../interface.sml)
isac-update-Isa09-2
|
changeset |
files
|
Wed, 03 Nov 2010 09:45:59 +0100 |
Walther Neuper |
check 'autoCalculate 1 CompleteCalc': works for test/../integrate.sml
isac-update-Isa09-2
|
changeset |
files
|
Fri, 29 Oct 2010 16:29:39 +0200 |
Walther Neuper |
finished top-down repair, now start bottom-up repair along the tests
isac-update-Isa09-2
|
changeset |
files
|
Fri, 29 Oct 2010 15:54:16 +0200 |
Walther Neuper |
trials on scala with inssort
isac-update-Isa09-2
|
changeset |
files
|
Thu, 28 Oct 2010 11:05:24 +0200 |
Walther Neuper |
intermed. stopped repair thehier, the hierarchy of thy/thm for access by isac.
isac-update-Isa09-2
|
changeset |
files
|
Thu, 28 Oct 2010 09:24:47 +0200 |
Walther Neuper |
intermed. repair thehier, the hierarchy of thy/thm for access by isac.
isac-update-Isa09-2
|
changeset |
files
|
Mon, 11 Oct 2010 14:22:50 +0200 |
Walther Neuper |
tuned
isac-update-Isa09-2
|
changeset |
files
|
Mon, 11 Oct 2010 14:22:19 +0200 |
Walther Neuper |
intermed. repair test/../thy-hierarchy.sml, thehier := the_hier ...
isac-update-Isa09-2
|
changeset |
files
|
Mon, 11 Oct 2010 13:31:22 +0200 |
Walther Neuper |
removed all ".thy" in src/ and test/
isac-update-Isa09-2
|
changeset |
files
|
Mon, 11 Oct 2010 12:55:40 +0200 |
Walther Neuper |
intermed. repair Isac.thy, thehier := the_hier ...
isac-update-Isa09-2
|
changeset |
files
|
Sun, 10 Oct 2010 14:15:43 +0200 |
Walther Neuper |
update finished for test/../integrate.sml
isac-update-Isa09-2
|
changeset |
files
|
Sat, 09 Oct 2010 16:20:02 +0200 |
Walther Neuper |
intermed. test/../integrate.sml
isac-update-Isa09-2
|
changeset |
files
|
Sat, 09 Oct 2010 16:04:19 +0200 |
Walther Neuper |
tuned
isac-update-Isa09-2
|
changeset |
files
|
Sat, 09 Oct 2010 16:03:49 +0200 |
Walther Neuper |
repaired Print_Mode.setmp [] ((Syntax.string_of_term
isac-update-Isa09-2
|
changeset |
files
|
Fri, 08 Oct 2010 18:58:24 +0200 |
Walther Neuper |
tuned
isac-update-Isa09-2
|
changeset |
files
|
Fri, 08 Oct 2010 18:51:23 +0200 |
Walther Neuper |
repaired fun nxt_specify_
isac-update-Isa09-2
|
changeset |
files
|
Wed, 06 Oct 2010 15:12:41 +0200 |
Walther Neuper |
intermed. test/../integrate.sml in -- me method [diff,integration] --
isac-update-Isa09-2
|
changeset |
files
|
Wed, 06 Oct 2010 14:52:12 +0200 |
Walther Neuper |
intermed. test/../integrate.sml, pbl, met, scr seem to work
isac-update-Isa09-2
|
changeset |
files
|
Wed, 06 Oct 2010 14:35:43 +0200 |
Walther Neuper |
rewriting in test/../integrate.sml works, too
isac-update-Isa09-2
|
changeset |
files
|
Wed, 06 Oct 2010 14:39:57 +0200 |
Marco Steger |
Added working Isac-Scala-jEdit-scr!!!
the isac plugin for jEdit
|
changeset |
files
|
Tue, 05 Oct 2010 16:46:56 +0200 |
Walther Neuper |
repaired 'fun calc_equ' for "op <", completed rewriting in test/../rational.sml
isac-update-Isa09-2
|
changeset |
files
|
Tue, 05 Oct 2010 15:28:32 +0200 |
Walther Neuper |
renamed "op <" to "Orderings.ord_class.less" etc
isac-update-Isa09-2
|
changeset |
files
|
Tue, 05 Oct 2010 14:41:16 +0200 |
Walther Neuper |
intermed. test/../rational.sml, before "op *" --> "Orderings.ord_class.less"
isac-update-Isa09-2
|
changeset |
files
|
Tue, 05 Oct 2010 09:17:48 +0200 |
Walther Neuper |
updated print_exn
isac-update-Isa09-2
|
changeset |
files
|
Tue, 05 Oct 2010 09:01:30 +0200 |
Walther Neuper |
repaired assoc_thy
isac-update-Isa09-2
|
changeset |
files
|
Tue, 05 Oct 2010 08:35:55 +0200 |
Walther Neuper |
intermed. test/../rational.sml
isac-update-Isa09-2
|
changeset |
files
|
Fri, 01 Oct 2010 18:25:06 +0200 |
Walther Neuper |
all rewriting in test/../poly.sml works
isac-update-Isa09-2
|
changeset |
files
|
Fri, 01 Oct 2010 17:27:55 +0200 |
Walther Neuper |
tuned: shifted last tests into respective files
isac-update-Isa09-2
|
changeset |
files
|
Fri, 01 Oct 2010 16:29:33 +0200 |
Walther Neuper |
tuned: tests go through
isac-update-Isa09-2
|
changeset |
files
|
Fri, 01 Oct 2010 16:23:03 +0200 |
Walther Neuper |
intermed. 'fun parse_patt' fixes types to real (like 'parse')
isac-update-Isa09-2
|
changeset |
files
|
Fri, 01 Oct 2010 10:23:38 +0200 |
Walther Neuper |
repaired 'prepat's, the patterns and preconditions for Rrls
isac-update-Isa09-2
|
changeset |
files
|
Tue, 28 Sep 2010 13:30:29 +0200 |
Walther Neuper |
interrupted test/../calculate.sml for 'rewrite_'
isac-update-Isa09-2
|
changeset |
files
|
Tue, 28 Sep 2010 10:10:26 +0200 |
Walther Neuper |
updated "op *" --> Groups.times_class.times in src and test
isac-update-Isa09-2
|
changeset |
files
|
Tue, 28 Sep 2010 10:01:18 +0200 |
Walther Neuper |
intermediate test/../calculate.sml
isac-update-Isa09-2
|
changeset |
files
|
Tue, 28 Sep 2010 09:37:41 +0200 |
Walther Neuper |
replaced Some,None --> SOME,NONE in all test/../isac/*
isac-update-Isa09-2
|
changeset |
files
|
Tue, 28 Sep 2010 09:06:56 +0200 |
Walther Neuper |
tuned error and writeln
isac-update-Isa09-2
|
changeset |
files
|
Tue, 28 Sep 2010 08:58:06 +0200 |
Walther Neuper |
interrupted test/../integrate.sml for calculate.
isac-update-Isa09-2
|
changeset |
files
|
Tue, 28 Sep 2010 07:37:12 +0200 |
Walther Neuper |
repaired SubProblem (Thy_,.. --> SubProblem (Thy',
isac-update-Isa09-2
|
changeset |
files
|
Tue, 28 Sep 2010 13:09:19 +0200 |
Marco Steger |
changed src
the isac plugin for jEdit
|
changeset |
files
|
Tue, 28 Sep 2010 13:06:26 +0200 |
Marco Steger |
changed .hgignore again
the isac plugin for jEdit
|
changeset |
files
|
Tue, 28 Sep 2010 13:03:21 +0200 |
Marco Steger |
changed hgignore
the isac plugin for jEdit
|
changeset |
files
|
Tue, 28 Sep 2010 07:28:10 +0200 |
Walther Neuper |
repaired fun uminus_to_string, fun rewrite_terms_
isac-update-Isa09-2
|
changeset |
files
|
Mon, 27 Sep 2010 13:35:06 +0200 |
Walther Neuper |
simplified testing by src/Tools/isac/Build_Test_Isac.thy
isac-update-Isa09-2
|
changeset |
files
|
Mon, 27 Sep 2010 11:15:10 +0200 |
Marco Steger |
changes in isac-src. I think there are still problems in isac.scala!
the isac plugin for jEdit
|
changeset |
files
|
Sat, 25 Sep 2010 16:49:33 +0200 |
Walther Neuper |
rewrite_ returns assumptions without Trueprop (as was in Isabelle2002)
isac-update-Isa09-2
|
changeset |
files
|
Sat, 25 Sep 2010 13:50:30 +0200 |
Marco Steger |
little changes in the nb-project
the isac plugin for jEdit
|
changeset |
files
|
Sat, 25 Sep 2010 13:04:11 +0200 |
Marco Steger |
added the scr-files and nb-project-files
the isac plugin for jEdit
|
changeset |
files
|
Sat, 25 Sep 2010 12:48:41 +0200 |
Marco Steger |
changed .hgignore
the isac plugin for jEdit
|
changeset |
files
|
Sat, 25 Sep 2010 11:51:58 +0200 |
Marco Steger |
changes in .hgignore
the isac plugin for jEdit
|
changeset |
files
|
Sat, 25 Sep 2010 11:17:46 +0200 |
Marco Steger |
added the nb-project 'isac' to repo; you find it in /src/Tools/isac/jedit!
the isac plugin for jEdit
|
changeset |
files
|
Sat, 25 Sep 2010 11:07:20 +0200 |
Marco Steger |
the isac plugin for jEdit
the isac plugin for jEdit
|
changeset |
files
|
Thu, 23 Sep 2010 16:38:25 +0200 |
Walther Neuper |
changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/
isac-update-Isa09-2
|
changeset |
files
|
Thu, 23 Sep 2010 14:49:23 +0200 |
Walther Neuper |
updated "op +", "op -", "op *". "HOL.divide" in src & test
isac-update-Isa09-2
|
changeset |
files
|
Thu, 23 Sep 2010 12:56:51 +0200 |
Walther Neuper |
interrupted update test/../Knowledge/integrate.sml, repaired term2str
isac-update-Isa09-2
|
changeset |
files
|
Thu, 23 Sep 2010 08:54:26 +0200 |
Walther Neuper |
tuned pbt's due to copy_named
isac-update-Isa09-2
|
changeset |
files
|
Thu, 23 Sep 2010 08:43:36 +0200 |
Walther Neuper |
repaired is_copy_named, cpy_nam and improved tests & comments
isac-update-Isa09-2
|
changeset |
files
|