| Tue, 11 Jan 2011 13:34:30 +0100 |
Andreas Schulhofer |
CTP-gui:bib
decompose-isar
|
changeset |
files
|
| Tue, 11 Jan 2011 12:34:53 +0100 |
Andreas Schulhofer |
merged
decompose-isar
|
changeset |
files
|
| Tue, 11 Jan 2011 12:34:12 +0100 |
Andreas Schulhofer |
CTP-ui
decompose-isar
|
changeset |
files
|
| Tue, 11 Jan 2011 08:10:03 +0100 |
Andreas Schulhofer |
merged
decompose-isar
|
changeset |
files
|
| Tue, 11 Jan 2011 08:09:20 +0100 |
Andreas Schulhofer |
CTP-userinterface
decompose-isar
|
changeset |
files
|
| Tue, 11 Jan 2011 12:34:29 +0100 |
Walther Neuper |
CTP-gui: new bibs
decompose-isar
|
changeset |
files
|
| Tue, 11 Jan 2011 08:03:23 +0100 |
Walther Neuper |
CTP-gui: introduction
decompose-isar
|
changeset |
files
|
| Mon, 10 Jan 2011 12:36:39 +0100 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Mon, 10 Jan 2011 12:36:33 +0100 |
Walther Neuper |
CTP-gui: new refs
decompose-isar
|
changeset |
files
|
| Mon, 10 Jan 2011 10:43:00 +0100 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Mon, 10 Jan 2011 11:54:16 +0100 |
Marco Steger |
CTP-UI: edit part 4;
decompose-isar
|
changeset |
files
|
| Mon, 10 Jan 2011 10:31:29 +0100 |
Walther Neuper |
CTP-userinterfaces: merge completed
decompose-isar
|
changeset |
files
|
| Mon, 10 Jan 2011 10:19:10 +0100 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Mon, 10 Jan 2011 10:15:44 +0100 |
Walther Neuper |
CTP-userinterfaces: cite, ref, paragraph
decompose-isar
|
changeset |
files
|
| Sun, 09 Jan 2011 15:10:40 +0100 |
Marco Steger |
added articles
decompose-isar
|
changeset |
files
|
| Thu, 06 Jan 2011 09:02:02 +0100 |
Walther Neuper |
updated course/T3_MathEngine.thy, added MAKE-ISAC-bundle
decompose-isar
|
changeset |
files
|
| Fri, 31 Dec 2010 16:10:23 +0100 |
Walther Neuper |
finished course/T3_MathEngine.thy. --- moved to Download:
decompose-isar
|
changeset |
files
|
| Fri, 31 Dec 2010 15:19:05 +0100 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 31 Dec 2010 14:58:03 +0100 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 31 Dec 2010 14:54:02 +0100 |
Walther Neuper |
removed error *** nxt_add: EX itm. not(dat(itm)<=dat(ori))
decompose-isar
|
changeset |
files
|
| Thu, 30 Dec 2010 14:25:19 +0100 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Thu, 30 Dec 2010 14:24:43 +0100 |
Walther Neuper |
analysed error *** nxt_add: EX itm. not(dat(itm)<=dat(ori))
decompose-isar
|
changeset |
files
|
| Wed, 29 Dec 2010 20:07:52 +0100 |
Walther Neuper |
intermed. in course/T3_MathEngine.thy
decompose-isar
|
changeset |
files
|
| Mon, 27 Dec 2010 10:38:49 +0100 |
Walther Neuper |
added CTP-userinterfaces.bib
decompose-isar
|
changeset |
files
|
| Wed, 15 Dec 2010 11:05:07 +0100 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Wed, 15 Dec 2010 11:00:32 +0100 |
Walther Neuper |
started CTP-userinterfaces.tex, course/T1* T2*
decompose-isar
|
changeset |
files
|
| Wed, 24 Nov 2010 15:00:23 +0100 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 23 Nov 2010 12:04:33 +0100 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Tue, 23 Nov 2010 11:53:21 +0100 |
Walther Neuper |
merged
decompose-isar
|
changeset |
files
|
| Tue, 23 Nov 2010 08:58:24 +0100 |
Marco Steger |
changes in project files
the isac plugin for jEdit
|
changeset |
files
|
| Tue, 23 Nov 2010 08:38:32 +0100 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Thu, 18 Nov 2010 18:25:05 +0100 |
Walther Neuper |
checked Struct_Deriv.thy ok for analogy in scala
decompose-isar
|
changeset |
files
|
| 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
|