Tue, 05 Oct 2010 09:01:30 +0200 Walther Neuper repaired assoc_thy isac-update-Isa09-2
Tue, 05 Oct 2010 08:35:55 +0200 Walther Neuper intermed. test/../rational.sml isac-update-Isa09-2
Fri, 01 Oct 2010 18:25:06 +0200 Walther Neuper all rewriting in test/../poly.sml works isac-update-Isa09-2
Fri, 01 Oct 2010 17:27:55 +0200 Walther Neuper tuned: shifted last tests into respective files isac-update-Isa09-2
Fri, 01 Oct 2010 16:29:33 +0200 Walther Neuper tuned: tests go through isac-update-Isa09-2
Fri, 01 Oct 2010 16:23:03 +0200 Walther Neuper intermed. 'fun parse_patt' fixes types to real (like 'parse') isac-update-Isa09-2
Fri, 01 Oct 2010 10:23:38 +0200 Walther Neuper repaired 'prepat's, the patterns and preconditions for Rrls isac-update-Isa09-2
Tue, 28 Sep 2010 13:30:29 +0200 Walther Neuper interrupted test/../calculate.sml for 'rewrite_' isac-update-Isa09-2
Tue, 28 Sep 2010 10:10:26 +0200 Walther Neuper updated "op *" --> Groups.times_class.times in src and test isac-update-Isa09-2
Tue, 28 Sep 2010 10:01:18 +0200 Walther Neuper intermediate test/../calculate.sml isac-update-Isa09-2
Tue, 28 Sep 2010 09:37:41 +0200 Walther Neuper replaced Some,None --> SOME,NONE in all test/../isac/* isac-update-Isa09-2
Tue, 28 Sep 2010 09:06:56 +0200 Walther Neuper tuned error and writeln isac-update-Isa09-2
Tue, 28 Sep 2010 08:58:06 +0200 Walther Neuper interrupted test/../integrate.sml for calculate. isac-update-Isa09-2
Tue, 28 Sep 2010 07:37:12 +0200 Walther Neuper repaired SubProblem (Thy_,.. --> SubProblem (Thy', isac-update-Isa09-2
Tue, 28 Sep 2010 13:09:19 +0200 Marco Steger changed src the isac plugin for jEdit
Tue, 28 Sep 2010 13:06:26 +0200 Marco Steger changed .hgignore again the isac plugin for jEdit
Tue, 28 Sep 2010 13:03:21 +0200 Marco Steger changed hgignore the isac plugin for jEdit
Tue, 28 Sep 2010 07:28:10 +0200 Walther Neuper repaired fun uminus_to_string, fun rewrite_terms_ isac-update-Isa09-2
Mon, 27 Sep 2010 13:35:06 +0200 Walther Neuper simplified testing by src/Tools/isac/Build_Test_Isac.thy isac-update-Isa09-2
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
Sat, 25 Sep 2010 16:49:33 +0200 Walther Neuper rewrite_ returns assumptions without Trueprop (as was in Isabelle2002) isac-update-Isa09-2
Sat, 25 Sep 2010 13:50:30 +0200 Marco Steger little changes in the nb-project the isac plugin for jEdit
Sat, 25 Sep 2010 13:04:11 +0200 Marco Steger added the scr-files and nb-project-files the isac plugin for jEdit
Sat, 25 Sep 2010 12:48:41 +0200 Marco Steger changed .hgignore the isac plugin for jEdit
Sat, 25 Sep 2010 11:51:58 +0200 Marco Steger changes in .hgignore the isac plugin for jEdit
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
Sat, 25 Sep 2010 11:07:20 +0200 Marco Steger the isac plugin for jEdit the isac plugin for jEdit
Thu, 23 Sep 2010 16:38:25 +0200 Walther Neuper changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/ isac-update-Isa09-2
Thu, 23 Sep 2010 14:49:23 +0200 Walther Neuper updated "op +", "op -", "op *". "HOL.divide" in src & test isac-update-Isa09-2
Thu, 23 Sep 2010 12:56:51 +0200 Walther Neuper interrupted update test/../Knowledge/integrate.sml, repaired term2str isac-update-Isa09-2
Thu, 23 Sep 2010 08:54:26 +0200 Walther Neuper tuned pbt's due to copy_named isac-update-Isa09-2
Thu, 23 Sep 2010 08:43:36 +0200 Walther Neuper repaired is_copy_named, cpy_nam and improved tests & comments isac-update-Isa09-2
Tue, 14 Sep 2010 15:46:56 +0200 Walther Neuper repaired copy_nam isac-update-Isa09-2
Tue, 14 Sep 2010 12:12:42 +0200 Walther Neuper adapted is_copy_named from v___ to v''' isac-update-Isa09-2
Mon, 13 Sep 2010 18:37:16 +0200 Walther Neuper tuned isac-update-Isa09-2
Mon, 13 Sep 2010 18:12:15 +0200 Walther Neuper ref --> Unsynchronized.ref tuned. isac-update-Isa09-2
Mon, 13 Sep 2010 17:21:22 +0200 Walther Neuper ref --> Unsynchronized.ref done isac-update-Isa09-2
Mon, 13 Sep 2010 16:36:14 +0200 Walther Neuper tuned, before changing ref --> Unsynchronized.ref isac-update-Isa09-2
Mon, 13 Sep 2010 15:42:03 +0200 Walther Neuper added src/Tools/isac/ROOT.ML isac-update-Isa09-2
Fri, 10 Sep 2010 12:15:18 +0200 Walther Neuper ----- update of isac SYNTAX Isabelle2002 --> Isabelle2009-2 finished. isac-update-Isa09-2
Fri, 10 Sep 2010 11:58:46 +0200 Walther Neuper intermediate in Knowledge/Isac.thy isac-update-Isa09-2
Fri, 10 Sep 2010 10:36:41 +0200 Walther Neuper updated Knowledge/Test.thy isac-update-Isa09-2
Thu, 09 Sep 2010 13:39:30 +0200 Walther Neuper updated Knowledge/AlgEin.thy isac-update-Isa09-2
Thu, 09 Sep 2010 13:31:36 +0200 Walther Neuper updated Knowledge/Biegelinie.thy isac-update-Isa09-2
Thu, 09 Sep 2010 09:58:28 +0200 Walther Neuper updated Knowledge/EqSystem.thy isac-update-Isa09-2
Thu, 09 Sep 2010 09:49:14 +0200 Walther Neuper intermediate state in Knowledge/EqSystem.thy isac-update-Isa09-2
Wed, 08 Sep 2010 17:55:08 +0200 Walther Neuper updated Knowledge/Integrate.thy isac-update-Isa09-2
Wed, 08 Sep 2010 17:49:36 +0200 Walther Neuper updated Knowledge/DiffApp.thy isac-update-Isa09-2
Wed, 08 Sep 2010 17:20:03 +0200 Walther Neuper tuned isac-update-Isa09-2
Wed, 08 Sep 2010 17:17:29 +0200 Walther Neuper updated Knowledge/Diff.thy isac-update-Isa09-2
Wed, 08 Sep 2010 16:54:15 +0200 Walther Neuper updated Vect..LogExp.thy isac-update-Isa09-2
Wed, 08 Sep 2010 16:47:22 +0200 Walther Neuper tuned src + test isac-update-Isa09-2
Wed, 08 Sep 2010 16:45:27 +0200 Walther Neuper tuned isac-update-Isa09-2
Wed, 08 Sep 2010 16:28:24 +0200 Walther Neuper updated Knowledge/PolyEq.thy isac-update-Isa09-2
Wed, 08 Sep 2010 12:41:04 +0200 Walther Neuper updated Knowledge/RatEq.thy isac-update-Isa09-2
Wed, 08 Sep 2010 12:25:58 +0200 Walther Neuper tuned isac-update-Isa09-2
Wed, 08 Sep 2010 12:10:43 +0200 Walther Neuper tuned isac-update-Isa09-2
Wed, 08 Sep 2010 10:15:51 +0200 Walther Neuper updated Knowledge/RootEq.thy isac-update-Isa09-2
Mon, 06 Sep 2010 17:07:28 +0200 Walther Neuper changed argument types for scripts isac-update-Isa09-2
Mon, 06 Sep 2010 16:56:22 +0200 Walther Neuper corrected format for axioms in remaining theories isac-update-Isa09-2