Walther Neuper <neuper@ist.tugraz.at> [Wed, 22 Dec 2010 16:05:20 +0100] rev 3932
during setup isac-java in NetBeans: removed sml once more
Tom@tomzicompi [Wed, 22 Dec 2010 15:44:42 +0100] rev 3931
during setup isac-java in NB:
repaired libs
Tom@tomzicompi [Wed, 22 Dec 2010 15:25:12 +0100] rev 3930
removed *.jar from hgignore
Tom@tomzicompi [Wed, 22 Dec 2010 14:54:13 +0100] rev 3929
during setup isac-java in NB:
repaired libs and added stuff to .hgignore
Walther Neuper <neuper@ist.tugraz.at> [Wed, 22 Dec 2010 12:46:27 +0100] rev 3928
during setup isac-java in NB
merged 969cd394c596 with e80ee0bdb439
(glog showed no connetion to d28ded3f3d74)
the merge touched all files, about 10 of them with conflicts
Walther Neuper <neuper@ist.tugraz.at> [Wed, 22 Dec 2010 12:09:51 +0100] rev 3927
during setup isac-java in NetBeans (NB)
we observe different views to hg by
# commandline hg: has 3 merged files
these had been updated in order to build isac-java
# NB sees no such files
Walther Neuper <neuper@ist.tugraz.at> [Wed, 22 Dec 2010 12:01:26 +0100] rev 3926
during setup isac-java in NetBeans
.hgignore: ^nbproject/ build.xml
in order to avoid interference with other setups.
However, Maven (+ Hudson | Continuum) would provide support for such different setups with the advantage, that automatic build-systems would check pushes by compilation, and also by tests.
Walther Neuper <neuper@ist.tugraz.at> [Tue, 21 Dec 2010 16:51:06 +0100] rev 3925
start of java development 2010
sml, smltest moved from here to Isabelle for stepwise integration
java is developed separately at the beginning,
stepwise narrowing with Isabelle/Scala is the goal.
for development only, no production.
Walther Neuper <neuper@ist.tugraz.at> [Mon, 04 Oct 2010 17:09:39 +0200] rev 3924
converted from cvs containing isac proto2, i.e. java, sml, sql, xml
removed sml (by now included in Isabelle), cleaned up
ATTENTION: xmldata/thy to be included after update Isabelle2002 -> 2009-2
TODO: remove xmldata/thy from hgignore
convert-repo [Mon, 04 Oct 2010 12:22:23 +0000] rev 3923
update tags