Isabelel via symlink draft
authorlammich <lammich@in.tum.de>
Fri, 23 Jun 2017 18:20:43 +0200
changeset 69809 fe96cdabf88e
parent 69808 74e6be42675e
child 69810 abb251c0c725
Isabelel via symlink
.hgignore
README.md
mkslides
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Fri Jun 23 18:20:43 2017 +0200
@@ -0,0 +1,1 @@
+isabelle
--- a/README.md	Fri Jun 23 18:08:31 2017 +0200
+++ b/README.md	Fri Jun 23 18:20:43 2017 +0200
@@ -2,4 +2,8 @@
 
 ### Functional Data Structures 2017 ###
 
-Private repository of slides etc
\ No newline at end of file
+Private repository of slides etc
+
+For mkslides script place aq symbolic link named "isabelle" in this directory, pointing to your Isabelle executable!
+
+
--- a/mkslides	Fri Jun 23 18:08:31 2017 +0200
+++ b/mkslides	Fri Jun 23 18:20:43 2017 +0200
@@ -1,1 +1,1 @@
-~/Isabelle2016-1/bin/isabelle build -v -d . Slides
+./isabelle build -v -d . Slides