| Fri, 26 Mar 2021 10:45:05 +0100 |
reset mathematics-engine to Isabelle2015
|
file | diff | annotate |
| Wed, 19 Dec 2018 13:19:34 +0100 |
tuned
|
file | diff | annotate |
| Wed, 19 Dec 2018 12:51:51 +0100 |
------ connection to new math-engine on Isabelle2018: question 4 to Lars
|
file | diff | annotate |
| Tue, 18 Dec 2018 08:05:43 +0100 |
------ connection to new math-engine on Isabelle2018: question 3 to Lars
|
file | diff | annotate |
| Mon, 17 Dec 2018 13:02:16 +0100 |
tuned
|
file | diff | annotate |
| Mon, 17 Dec 2018 12:58:12 +0100 |
------ connection to new math-engine on Isabelle2018: question 2 to Lars
|
file | diff | annotate |
| Thu, 13 Sep 2018 11:14:30 +0200 |
------ connection to new math-engine on Isabelle2018: question to Lars
|
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 |
| 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 |
| Wed, 08 Feb 2017 11:41:15 +0100 |
remove Warning: Vectors need Generics, partialy
|
file | diff | annotate |
| Mon, 18 Apr 2016 18:53:02 +0200 |
removed some of "internal RMI" within bridge
|
file | diff | annotate |
| Mon, 11 Apr 2016 11:11:22 +0200 |
create libisabelle Setup "manually"
|
file | diff | annotate |
| Mon, 04 Apr 2016 14:13:22 +0200 |
removed old initialisation of libisabelle & Bridge
|
file | diff | annotate |
| Fri, 22 Jan 2016 18:27:45 +0100 |
update to libisabelle-0.2.2/../Protocol
|
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 |
| 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 07:53:36 +0200 |
PIDE-phase 3a finished
|
file | diff | annotate |
| Fri, 07 Aug 2015 09:07:00 +0200 |
PIDE: prepare bridge to insert PIDE-connection for Mini_Test
|
file | diff | annotate |
| Thu, 16 Jul 2015 06:34:57 +0200 |
initialise connection to kernel via libisabelle
|
file | diff | annotate |
| Sat, 27 Jun 2015 12:26:04 +0200 |
removed trials of A.Poechtrager
|
file | diff | annotate |
| Wed, 15 Apr 2015 09:01:27 +0200 |
make connection Java <--> Linux transparent for Linux --> Windows
|
file | diff | annotate |
| Wed, 14 Aug 2013 21:22:19 +0200 |
Bugfixes that caused NullPointerException
|
file | diff | annotate |
| Tue, 02 Oct 2012 18:51:56 +0200 |
Adding more logging for better bugfixing
|
file | diff | annotate |
| Fri, 28 Sep 2012 11:27:47 +0200 |
shift isac-java 1 level deeper
|
file | diff | annotate | base |