.hgtags
author Walther Neuper <wneuper@ist.tugraz.at>
Sat, 05 Dec 2015 16:09:41 +0100
changeset 59180 85ec71012df8
parent 59179 91acbb24e371
child 59319 dfee1c403242
permissions -rw-r--r--
switched from Isabelle2014 to Isabelle2015, intermediate state

Note: we dropped jEditC, since libisabelle took over.
     1 d61d51765a02aecd2b1daea286a80ca5458bc948 Isabelle2014/Isac