.hgtags
author Walther Neuper <wneuper@ist.tugraz.at>
Fri, 17 Nov 2017 05:49:54 +0100
changeset 59319 dfee1c403242
parent 59180 85ec71012df8
child 59450 9797318ac4b5
permissions -rw-r--r--
Added tag Isac2015 for changeset 2f1b2854927a
     1 d61d51765a02aecd2b1daea286a80ca5458bc948 Isabelle2014/Isac
     2 2f1b2854927a67d0f66d5ab8f17f40933e30f5a1 Isac2015