| Fri, 26 Mar 2021 10:45:05 +0100 |
reset mathematics-engine to Isabelle2015
|
file | diff | annotate |
| Wed, 12 Sep 2018 16:24:42 +0200 |
hg commit -m "------ connection to new math-engine on Isabelle2018 partially
|
file | diff | annotate |
| Fri, 10 Mar 2017 16:23:38 +0000 |
remove Warnings: Vector/Map/TreeMap is a rawtype
|
file | diff | annotate |
| Wed, 01 Mar 2017 15:39:28 +0100 |
clean a design decision from 2005
|
file | diff | annotate |
| Wed, 01 Mar 2017 15:03:25 +0100 |
relieve "@deprecated" to annotation "not implemented"
|
file | diff | annotate |
| Wed, 01 Mar 2017 14:49:48 +0100 |
relieve "@deprecated" to review of design: getElement / getFormula
|
file | diff | annotate |
| Wed, 01 Mar 2017 12:22:09 +0100 |
change "@deprecated" to "do not use": Compod garbage, finished
|
file | diff | annotate |
| Wed, 01 Mar 2017 09:45:24 +0100 |
remove Warning: RMISecurityManager is deprecated : RMI reform will come
|
file | diff | annotate |
| Wed, 01 Mar 2017 09:35:27 +0100 |
meeting Andreas Hujber
|
file | diff | annotate |
| Sun, 12 Feb 2017 13:35:49 +0100 |
remove Warning: Maps need Generics, partially
|
file | diff | annotate |
| Fri, 10 Feb 2017 22:24:43 +0100 |
remove Warning: Imports never used
|
file | diff | annotate |
| Fri, 10 Feb 2017 22:08:58 +0100 |
remove Warning: Sets need Generics
|
file | diff | annotate |
| Fri, 10 Feb 2017 21:47:22 +0100 |
remove Warning: Maps need Generics, partially
|
file | diff | annotate |
| Fri, 10 Feb 2017 21:13:56 +0100 |
remove Warning: Iterators need Generics
|
file | diff | annotate |
| Fri, 10 Feb 2017 20:12:55 +0100 |
remove Warning: HashMap need Generics
|
file | diff | annotate |
| Wed, 08 Feb 2017 13:15:26 +0100 |
remove Warning: unused Code
|
file | diff | annotate |
| Wed, 08 Feb 2017 12:39:26 +0100 |
remove Warning: Vectors need Generics, partialy
|
file | diff | annotate |
| Mon, 16 May 2016 14:43:21 +0200 |
re-activate <NEW>-button on GUI for new example
|
file | diff | annotate |
| Tue, 19 Apr 2016 10:12:19 +0200 |
tuned message wrt. "bridge-internal RMI'
|
file | diff | annotate |
| Mon, 18 Apr 2016 18:53:02 +0200 |
removed some of "internal RMI" within bridge
|
file | diff | annotate |
| Fri, 22 Jan 2016 18:27:45 +0100 |
update to libisabelle-0.2.2/../Protocol
|
file | diff | annotate |
| Tue, 06 Oct 2015 11:25:01 +0200 |
PIDE: (Knowledge-)Context works also for met
|
file | diff | annotate |
| Sun, 20 Sep 2015 15:59:19 +0200 |
resume last-but-one changeset (run PIDE, outcomment TTY)
|
file | diff | annotate |
| Sun, 20 Sep 2015 15:48:58 +0200 |
make demo version ready: (Knowledge-)Context works only with TTY
|
file | diff | annotate |
| Sun, 20 Sep 2015 15:29:28 +0200 |
cleanup "intermediate state before 1st installation on Windows"
|
file | diff | annotate |
| Thu, 17 Sep 2015 10:49:46 +0200 |
intermediate state before 1st installation on Windows
|
file | diff | annotate |
| Sat, 12 Sep 2015 07:48:46 +0200 |
re-establish "isabelle tty" for test
|
file | diff | annotate |
| Sun, 30 Aug 2015 10:23:48 +0200 |
PIDE: removed code from test-phase
|
file | diff | annotate |
| Sun, 30 Aug 2015 10:20:21 +0200 |
PIDE: renamed xml_in / xml_out as seen from Isabelle/Isac
|
file | diff | annotate |
| Sun, 30 Aug 2015 07:24:53 +0200 |
PIDE-phase 3a: isac.Testall runs with //*TTY outcommented
|
file | diff | annotate |
| Sat, 29 Aug 2015 12:15:31 +0200 |
PIDE-phase 3: PIDE covers data exchange on Java-side, TTY remains for comparison
|
file | diff | annotate |
| Sat, 29 Aug 2015 11:48:06 +0200 |
PIDE-phase 2d: last IsaToJava.get_tac_out
|
file | diff | annotate |
| Sat, 29 Aug 2015 11:25:07 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava.fetch_applicable_tacs_out works
|
file | diff | annotate |
| Sat, 29 Aug 2015 08:26:02 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava.fetch_proposed_tac_out failed due to wrong XML conversion on SML-side
|
file | diff | annotate |
| Sat, 29 Aug 2015 07:42:57 +0200 |
PIDE-phase 2c CONTINUED: respective tests ran out of the box
|
file | diff | annotate |
| Fri, 28 Aug 2015 16:07:55 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava for setNextTactic
|
file | diff | annotate |
| Fri, 28 Aug 2015 15:35:16 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava for intermediateSteps checked
|
file | diff | annotate |
| Mon, 24 Aug 2015 17:38:19 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava for setContext is remarkable
|
file | diff | annotate |
| Mon, 24 Aug 2015 15:49:04 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava for refineProblem is remarkable
|
file | diff | annotate |
| Mon, 24 Aug 2015 09:45:50 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava completed for cases without error
|
file | diff | annotate |
| Sat, 22 Aug 2015 16:31:53 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava added 1 successful case
|
file | diff | annotate |
| Sat, 22 Aug 2015 15:44:21 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava added unsuccessful case
|
file | diff | annotate |
| Sat, 22 Aug 2015 12:50:58 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava used in similar cases
|
file | diff | annotate |
| Sat, 22 Aug 2015 12:39:10 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava used in further cases
|
file | diff | annotate |
| Sat, 22 Aug 2015 11:32:05 +0200 |
PIDE-phase 2c CONTINUED: prepare IsaToJava ff.
|
file | diff | annotate |
| Fri, 21 Aug 2015 14:40:41 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava used in all simple cases
|
file | diff | annotate |
| Fri, 21 Aug 2015 11:21:26 +0200 |
PIDE-phase 2c CONTINUED: use IsaToJava further
|
file | diff | annotate |
| Fri, 21 Aug 2015 10:48:56 +0200 |
PIDE-phase 2c CONTINUED: use IsaToJava 1st time
|
file | diff | annotate |
| Fri, 21 Aug 2015 08:44:26 +0200 |
PIDE-phase 2c CONTINUED: refactor for IsaToJava
|
file | diff | annotate |
| Tue, 18 Aug 2015 14:04:32 +0200 |
PIDE-phase 2c: CONTINUED with 3 IsaToJava + repair xml_.._Formula
|
file | diff | annotate |
| Mon, 17 Aug 2015 17:19:28 +0200 |
PIDE-phase 2c: removed bug, start looking at BridgeLog
|
file | diff | annotate |
| Mon, 17 Aug 2015 17:14:24 +0200 |
PIDE-phase 2c finished (seemingly, since isac.Testall runs unexpectedly)
|
file | diff | annotate |
| Mon, 17 Aug 2015 13:35:23 +0200 |
PIDE-phase 2c: cleaned code for inserting connection_to_kernel_.invoke(Operations
|
file | diff | annotate |
| Mon, 17 Aug 2015 11:09:58 +0200 |
PIDE-phase 2c: improved some -->ISA
|
file | diff | annotate |
| Mon, 17 Aug 2015 10:51:09 +0200 |
PIDE-phase 2b finished completely; isac.Testall OK
|
file | diff | annotate |
| Mon, 17 Aug 2015 07:51:03 +0200 |
PIDE-phase 2b finished except for BridgeRMI#checkCalcHead
|
file | diff | annotate |
| Mon, 17 Aug 2015 07:27:42 +0200 |
PIDE: redesign phases cf.https://intra.ist.tugraz.at/hg/isac/rev/232e68e6cad4
|
file | diff | annotate |
| Sun, 16 Aug 2015 16:16:33 +0200 |
PIDE-phase-2a: added JavaToIsa for nextSpecify
|
file | diff | annotate |
| Sun, 16 Aug 2015 16:05:26 +0200 |
PIDE-phase-2a: added JavaToIsa for completeModel
|
file | diff | annotate |
| Sun, 16 Aug 2015 15:53:14 +0200 |
PIDE-phase-2a: something missing in setTheory
|
file | diff | annotate |