Mon, 01 Oct 2012 17:41:04 +0200 | add settings for domain 'ae' | file | diff | annotate |
Fri, 28 Sep 2012 11:35:10 +0200 | shift isac-java 1 level deeper | file | diff | annotate | base |
Tue, 17 Apr 2012 15:10:30 +0200 | tuned xmldata/* Isabelle2002 --> 2011 | file | diff | annotate |