Walther Neuper <neuper@ist.tugraz.at> [Fri, 22 Jul 2011 17:28:24 +0200] rev 42172
restore Isabelle setup completed
removed faulty entries from 87fd7d13e814 in .hgignore.
see explanations in 4156f9e75464.
Alexander Kargl <akargl@brgkepler.net> [Fri, 22 Jul 2011 17:09:35 +0200] rev 42171
restore Isabelle setup
changeset 42149:87fd7d13e814 added lib/** to .hgignore
and this added lib/ to the repository such
that many Isabelle setups do not work.
This changeset contains all necessary repairs.
So beware of using any changeset between
42149:87fd7d13e814 and 6a5ed9444736 (inclusively!)
Alexander Kargl <akargl@brgkepler.net> [Fri, 22 Jul 2011 15:57:36 +0200] rev 42170
Automated merge with https://intra.ist.tugraz.at/hg/isa/
Alexander Kargl <akargl@brgkepler.net> [Fri, 22 Jul 2011 15:57:22 +0200] rev 42169
intermed: uncomment tests
Walther Neuper <neuper@ist.tugraz.at> [Fri, 22 Jul 2011 15:55:15 +0200] rev 42168
session with tleh
Thomas Leh <t.leh@gmx.at> [Fri, 22 Jul 2011 14:01:52 +0200] rev 42167
Automated merge with https://intra.ist.tugraz.at/hg/isa/
Thomas Leh <t.leh@gmx.at> [Fri, 22 Jul 2011 14:01:09 +0200] rev 42166
tuned
Walther Neuper <neuper@ist.tugraz.at> [Fri, 22 Jul 2011 12:10:21 +0200] rev 42165
merged
Walther Neuper <neuper@ist.tugraz.at> [Fri, 22 Jul 2011 12:10:13 +0200] rev 42164
meeting 110722
Jan Rocnik <jan.rocnik@student.tugraz.at> [Fri, 22 Jul 2011 12:07:01 +0200] rev 42163
tuned