mkslides
author nipkow
Fri, 23 Jun 2017 18:08:31 +0200
changeset 69808 74e6be42675e
child 69809 fe96cdabf88e
permissions -rwxr-xr-x
init

~/Isabelle2016-1/bin/isabelle build -v -d . Slides