Fri, 18 Sep 2015 15:42:22 +0200 |
parallel work on old notebook copied into repository
|
file | diff | annotate |
Wed, 15 Jul 2015 11:38:08 +0200 |
PIDE-output all cases except CalcHead
|
file | diff | annotate |
Fri, 03 Jul 2015 18:21:53 +0200 |
work around an eclipse problem for starting BridgeMain from shell
|
file | diff | annotate |
Mon, 29 Jun 2015 14:20:37 +0200 |
created eclipse project isac-java from scratch
|
file | diff | annotate |
Thu, 09 Apr 2015 14:31:37 +0200 |
========= start transition "isabelle tty" --> isabisac/PIDE
|
file | diff | annotate |
Sat, 05 Apr 2014 15:52:22 +0200 |
rest-service added
|
file | diff | annotate |
Sat, 05 Apr 2014 15:02:17 +0200 |
project setup files tracked now
|
file | diff | annotate |
Sat, 05 Apr 2014 14:37:44 +0200 |
just after installation of java-web
|
file | diff | annotate |
Fri, 28 Sep 2012 13:49:59 +0200 |
shift isac-java 1 level deeper FINISHED
|
file | diff | annotate |
Wed, 09 May 2012 14:14:12 +0200 |
prep. recording TODOs observed in the tutor
|
file | diff | annotate |
Tue, 24 Apr 2012 11:36:39 +0200 |
gdaroczy Thesis Structure
|
file | diff | annotate |
Mon, 23 Apr 2012 11:00:46 +0200 |
merged
|
file | diff | annotate |
Wed, 18 Apr 2012 18:14:23 +0200 |
hgignore for NetBeans-7.1.1
|
file | diff | annotate |
Sun, 22 Apr 2012 23:33:57 +0200 |
tuned
|
file | diff | annotate |
Tue, 13 Sep 2011 09:00:40 +0200 |
protocol meeting mkienl, fkober
|
file | diff | annotate |
Fri, 09 Sep 2011 11:06:26 +0200 |
set log4j to browser interface
|
file | diff | annotate |
Sat, 03 Sep 2011 16:20:40 +0200 |
tuned
|
file | diff | annotate |
Tue, 19 Jul 2011 15:36:30 +0200 |
merged
|
file | diff | annotate |
Tue, 19 Jul 2011 15:31:12 +0200 |
prepared for first fetch
|
file | diff | annotate |
Tue, 19 Jul 2011 15:14:49 +0200 |
renamed properties-templates, added bakk_thesis.tex
|
file | diff | annotate |
Tue, 31 May 2011 18:15:02 +0200 |
xmldata/temp_file should be ignored ?
|
file | diff | annotate |
Tue, 31 May 2011 17:29:47 +0200 |
tuned
|
file | diff | annotate |
Sat, 16 Apr 2011 12:59:55 +0200 |
merged
|
file | diff | annotate |
Tue, 28 Dec 2010 10:02:25 +0100 |
///dead end
|
file | diff | annotate |
Tue, 28 Dec 2010 09:42:50 +0100 |
during setup java-isac in NetBeans: here JavaRMI is ok
|
file | diff | annotate |
Mon, 27 Dec 2010 15:55:20 +0100 |
during setup isac-java in NB: RMI problems !
|
file | diff | annotate |
Wed, 22 Dec 2010 18:50:32 +0100 |
during setup isac-java in NetBeans: cleaned dirs 2
|
file | diff | annotate |
Wed, 22 Dec 2010 15:25:12 +0100 |
removed *.jar from hgignore
|
file | diff | annotate |
Wed, 22 Dec 2010 14:54:13 +0100 |
during setup isac-java in NB:
|
file | diff | annotate |
Wed, 22 Dec 2010 12:01:26 +0100 |
during setup isac-java in NetBeans
|
file | diff | annotate |
Mon, 04 Oct 2010 17:09:39 +0200 |
converted from cvs containing isac proto2, i.e. java, sml, sql, xml
|
file | diff | annotate |