isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip

clarified empty merge;
2017-10-07, by wenzelm
permissive loaded_theories (amending 67dbf5cdc056): user errors are produced e.g. in Known.make;
2017-10-07, by wenzelm
prefer native platform x86-windows, to make this work on x86_64-cygwin;
2017-10-07, by wenzelm
tuned signature;
2017-10-06, by wenzelm
even more robust syntax (amending 122df1fde073);
2017-10-06, by wenzelm
clarified error for bad session-qualified imports;
2017-10-06, by wenzelm
clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header;
2017-10-06, by wenzelm
merged
2017-10-05, by wenzelm
completion supports theory header imports;
2017-10-05, by wenzelm
clarified modules;
2017-10-05, by wenzelm
tuned signature;
2017-10-05, by wenzelm
new theorem at_within_cbox_finite
2017-10-05, by paulson
process ROOT files only once, which allows duplicate (or overlapping) session root directories;
2017-10-04, by wenzelm
prefer Cygwin64, although some components still require update;
2017-10-03, by wenzelm
updated test version;
2017-10-03, by wenzelm
more recent polyml-test version;
2017-10-03, by wenzelm
misc tuning and modernization;
2017-10-02, by wenzelm
discontinued obsolete 'files' in session ROOT;
2017-10-02, by wenzelm
prefer file dependencies wrt. specific theories;
2017-10-02, by wenzelm
added command 'external_file';
2017-10-02, by wenzelm
proper document (cf. 9f5bfef8bd82);
2017-10-02, by wenzelm
removed pointless dependencies: done by 'spark_open';
2017-10-02, by wenzelm
merged
2017-10-02, by wenzelm
more documentation;
2017-10-02, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip

isabelle