changes to the afp entry
Isabelle-2014-RC0
fixed
tuned: document system
afp entry Native_Word
updated afp copy
preliminary isabelle 2014 start script
disabling graphviz in batch build mode completely
first attempt to enable graphviz on other platforms
comments
indentation
macos string (untested)
getenv
tuned
..
tested on macos, thx holger
remove tabs
Merge branch 'master' into dev-unstable
dist webapp 2014-rc0
start isabelle script on windows