isabelle: Graph

proper content format;
2017-01-02, by wenzelm
more syntax;
2017-01-02, by wenzelm
more syntax;
2017-01-02, by wenzelm
tuned;
2017-01-02, by wenzelm
tuned;
2017-01-02, by wenzelm
more keywords;
2017-01-02, by wenzelm
tuned;
2017-01-02, by wenzelm
proper packaging;
2017-01-01, by wenzelm
generate uuid;
2017-01-01, by wenzelm
generate static TextMate grammar for VSCode editor;
2017-01-01, by wenzelm
proper default;
2017-01-01, by wenzelm
clarified file name;
2017-01-01, by wenzelm
tuned;
2017-01-01, by wenzelm
more configuration;
2017-01-01, by wenzelm
automatically build session image;
2017-01-01, by wenzelm
tuned signature;
2017-01-01, by wenzelm
just one synchronized access to global state: works recursively on JVM;
2017-01-01, by wenzelm
clarified modules;
2017-01-01, by wenzelm
clarified file URI operations;
2017-01-01, by wenzelm
more precise markup;
2016-12-31, by wenzelm
automatically resolve dependencies from document models and file-system;
2016-12-31, by wenzelm
clarified;
2016-12-31, by wenzelm
tuned;
2016-12-31, by wenzelm
ignore message;
2016-12-31, by wenzelm
clarified node_visible;
2016-12-31, by wenzelm
tuned signature;
2016-12-31, by wenzelm
proper state update;
2016-12-31, by wenzelm
proper log;
2016-12-31, by wenzelm
tuned;
2016-12-31, by wenzelm
tuned signature;
2016-12-31, by wenzelm

isabelle