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 -32 +32 +50 +100 +300 +1000 +3000 +10000 tip

more direct output of XML material -- bypass Buffer.T;
2019-11-02, by wenzelm
clarified signature;
2019-11-02, by wenzelm
tuned;
2019-11-02, by wenzelm
more direct output of XML material -- bypass Buffer.T;
2019-11-02, by wenzelm
more scalable protocol_message: use XML.body directly (Output.output hook is not required);
2019-11-02, by wenzelm
clarified signature;
2019-11-02, by wenzelm
tuned;
2019-11-02, by wenzelm
updated to polyml-5.8.1-20191101 test version;
2019-11-01, by wenzelm
merged
2019-11-01, by wenzelm
more operations;
2019-11-01, by wenzelm
proper export of unnamed proof boxes for unnamed toplevel declarations, e.g. rulify/defn rules in theory IFOL and HOL;
2019-11-01, by wenzelm
clarified signature (again);
2019-11-01, by wenzelm
clarified signature;
2019-11-01, by wenzelm
make double-sure that internal proof boxes are exported, e.g. in Pure;
2019-11-01, by wenzelm
avoid redundant proof boxes for application sessions;
2019-11-01, by wenzelm
clarified modules (again);
2019-11-01, by wenzelm
more detailed proof term output;
2019-11-01, by wenzelm
tuned signature;
2019-11-01, by wenzelm
clarified error;
2019-11-01, by wenzelm
more accurate proof_boxes -- from actual proof body;
2019-10-31, by wenzelm
clarified signature;
2019-10-31, by wenzelm
clarified signature;
2019-10-31, by wenzelm
more lemmas
2019-10-31, by haftmann
merged
2019-10-30, by immler
linear is not needed
2019-10-30, by immler
more packages;
2019-10-30, by wenzelm
MySQL setup;
2019-10-30, by wenzelm
Apache setup;
2019-10-30, by wenzelm
some support for Phabricator server;
2019-10-30, by wenzelm
support for Linux packages;
2019-10-29, by wenzelm
specific support for Linux, notably Ubuntu/Debian;
2019-10-29, by wenzelm
proper home directory, required for $HOME/.ssh setup;
2019-10-28, by wenzelm

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

isabelle