Walther Neuper <neuper@ist.tugraz.at> [Thu, 05 Aug 2010 14:17:16 +0200] rev 37897
merged
Walther Neuper <neuper@ist.tugraz.at> [Thu, 05 Aug 2010 14:15:25 +0200] rev 37896
final result of trainee summer work
Walther Neuper <neuper@ist.tugraz.at> [Thu, 05 Aug 2010 11:21:36 +0200] rev 37895
added KDE-extensions to hgignore
Walther Neuper <neuper@ist.tugraz.at> [Thu, 05 Aug 2010 11:08:04 +0200] rev 37894
quick setup of ML parsers, trials for SD until name list
Walther Neuper <neuper@ist.tugraz.at> [Mon, 02 Aug 2010 10:11:16 +0200] rev 37893
install jEdit/nbproject
Alexandra Hirn <alexandra.hirn@hotmail.com> [Thu, 05 Aug 2010 11:03:47 +0200] rev 37892
result of trainee summer work
Alexandra Hirn <alexandra.hirn@hotmail.com> [Tue, 03 Aug 2010 13:55:24 +0200] rev 37891
complete version 2
Walther Neuper <neuper@ist.tugraz.at> [Fri, 30 Jul 2010 09:15:36 +0200] rev 37890
test Pure/../Basics.thy + start nbproject
Alexandra Hirn <alexandra.hirn@hotmail.com> [Thu, 29 Jul 2010 14:12:11 +0200] rev 37889
complete
Alexandra Hirn <alexandra.hirn@hotmail.com> [Wed, 28 Jul 2010 13:26:19 +0200] rev 37888
chapter 1 - 7