--- /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