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
|
Tue, 14 Sep 2010 15:46:56 +0200 |
Walther Neuper |
repaired copy_nam
isac-update-Isa09-2
|
changeset |
files
|
Tue, 14 Sep 2010 12:12:42 +0200 |
Walther Neuper |
adapted is_copy_named from v___ to v'''
isac-update-Isa09-2
|
changeset |
files
|
Mon, 13 Sep 2010 18:37:16 +0200 |
Walther Neuper |
tuned
isac-update-Isa09-2
|
changeset |
files
|
Mon, 13 Sep 2010 18:12:15 +0200 |
Walther Neuper |
ref --> Unsynchronized.ref tuned.
isac-update-Isa09-2
|
changeset |
files
|
Mon, 13 Sep 2010 17:21:22 +0200 |
Walther Neuper |
ref --> Unsynchronized.ref done
isac-update-Isa09-2
|
changeset |
files
|
Mon, 13 Sep 2010 16:36:14 +0200 |
Walther Neuper |
tuned, before changing ref --> Unsynchronized.ref
isac-update-Isa09-2
|
changeset |
files
|
Mon, 13 Sep 2010 15:42:03 +0200 |
Walther Neuper |
added src/Tools/isac/ROOT.ML
isac-update-Isa09-2
|
changeset |
files
|
Fri, 10 Sep 2010 12:15:18 +0200 |
Walther Neuper |
----- update of isac SYNTAX Isabelle2002 --> Isabelle2009-2 finished.
isac-update-Isa09-2
|
changeset |
files
|
Fri, 10 Sep 2010 11:58:46 +0200 |
Walther Neuper |
intermediate in Knowledge/Isac.thy
isac-update-Isa09-2
|
changeset |
files
|
Fri, 10 Sep 2010 10:36:41 +0200 |
Walther Neuper |
updated Knowledge/Test.thy
isac-update-Isa09-2
|
changeset |
files
|
Thu, 09 Sep 2010 13:39:30 +0200 |
Walther Neuper |
updated Knowledge/AlgEin.thy
isac-update-Isa09-2
|
changeset |
files
|
Thu, 09 Sep 2010 13:31:36 +0200 |
Walther Neuper |
updated Knowledge/Biegelinie.thy
isac-update-Isa09-2
|
changeset |
files
|
Thu, 09 Sep 2010 09:58:28 +0200 |
Walther Neuper |
updated Knowledge/EqSystem.thy
isac-update-Isa09-2
|
changeset |
files
|
Thu, 09 Sep 2010 09:49:14 +0200 |
Walther Neuper |
intermediate state in Knowledge/EqSystem.thy
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 17:55:08 +0200 |
Walther Neuper |
updated Knowledge/Integrate.thy
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 17:49:36 +0200 |
Walther Neuper |
updated Knowledge/DiffApp.thy
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 17:20:03 +0200 |
Walther Neuper |
tuned
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 17:17:29 +0200 |
Walther Neuper |
updated Knowledge/Diff.thy
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 16:54:15 +0200 |
Walther Neuper |
updated Vect..LogExp.thy
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 16:47:22 +0200 |
Walther Neuper |
tuned src + test
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 16:45:27 +0200 |
Walther Neuper |
tuned
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 16:28:24 +0200 |
Walther Neuper |
updated Knowledge/PolyEq.thy
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 12:41:04 +0200 |
Walther Neuper |
updated Knowledge/RatEq.thy
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 12:25:58 +0200 |
Walther Neuper |
tuned
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 12:10:43 +0200 |
Walther Neuper |
tuned
isac-update-Isa09-2
|
changeset |
files
|
Wed, 08 Sep 2010 10:15:51 +0200 |
Walther Neuper |
updated Knowledge/RootEq.thy
isac-update-Isa09-2
|
changeset |
files
|
Mon, 06 Sep 2010 17:07:28 +0200 |
Walther Neuper |
changed argument types for scripts
isac-update-Isa09-2
|
changeset |
files
|
Mon, 06 Sep 2010 16:56:22 +0200 |
Walther Neuper |
corrected format for axioms in remaining theories
isac-update-Isa09-2
|
changeset |
files
|
Mon, 06 Sep 2010 15:53:18 +0200 |
Walther Neuper |
updated Knowledge/Root.thy, plus changes ahead.
isac-update-Isa09-2
|
changeset |
files
|
Mon, 06 Sep 2010 15:09:37 +0200 |
Walther Neuper |
updated Knowledge/Equation.thy, plus changes ahead.
isac-update-Isa09-2
|
changeset |
files
|
Mon, 06 Sep 2010 14:48:38 +0200 |
Walther Neuper |
updated Knowledge/PolyMinus, plus some changes ahead
isac-update-Isa09-2
|
changeset |
files
|
Fri, 03 Sep 2010 17:19:20 +0200 |
Walther Neuper |
updated Knowledge/Rational
isac-update-Isa09-2
|
changeset |
files
|
Fri, 03 Sep 2010 14:28:38 +0200 |
Walther Neuper |
intermediate state Knowledge/Rational.ML, optimizing reading error msg
isac-update-Isa09-2
|
changeset |
files
|
Fri, 03 Sep 2010 12:33:16 +0200 |
Walther Neuper |
impl. parse_patt into fun prep_pbt, prep_met
isac-update-Isa09-2
|
changeset |
files
|
Fri, 03 Sep 2010 12:22:35 +0200 |
Walther Neuper |
updated Poly.thy finally: introduced "fun parse_patt"
isac-update-Isa09-2
|
changeset |
files
|
Thu, 02 Sep 2010 15:36:48 +0200 |
Walther Neuper |
updates over all Knowledge/*: Scripts 'Calculate ...'
isac-update-Isa09-2
|
changeset |
files
|
Thu, 02 Sep 2010 15:11:23 +0200 |
Walther Neuper |
cleanup within Knowledge/Poly, start with Scripts
isac-update-Isa09-2
|
changeset |
files
|
Thu, 02 Sep 2010 21:57:03 +0200 |
Marco Steger |
changed .java to .scala
jedit-isac
|
changeset |
files
|
Wed, 01 Sep 2010 16:43:58 +0200 |
Walther Neuper |
fixed @{theory} in all Knowledge/*.thy
isac-update-Isa09-2
|
changeset |
files
|
Wed, 01 Sep 2010 16:15:13 +0200 |
Walther Neuper |
update thm_names Isa2002 --> Isa09-2 in Scripts
isac-update-Isa09-2
|
changeset |
files
|
Wed, 01 Sep 2010 15:19:47 +0200 |
Walther Neuper |
cleanup from the previous commit
isac-update-Isa09-2
|
changeset |
files
|
Wed, 01 Sep 2010 15:17:43 +0200 |
Walther Neuper |
fixed all @{thm } in src+test
isac-update-Isa09-2
|
changeset |
files
|