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 -30 +30 +50 +100 +300 +1000 tip

proper web server address;
11 months ago, by Fabian Huch
clarified names: more canonical;
11 months ago, by Fabian Huch
clarified;
11 months ago, by Fabian Huch
remove unused;
11 months ago, by Fabian Huch
tuned;
11 months ago, by Fabian Huch
fixed NEWS
11 months ago, by desharna
merged
11 months ago, by wenzelm
tuned signature: more exports;
11 months ago, by wenzelm
clarified signature: prefer internal Thm_Name.T over external Facts.ref;
11 months ago, by wenzelm
more robust / permissive;
11 months ago, by wenzelm
clarified signature: more operations;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm
clarified operations, following pretty_thm_name;
11 months ago, by wenzelm
more accurate treatment of Thm_Name.T;
11 months ago, by wenzelm
renamed lemmas
11 months ago, by desharna
merged
11 months ago, by desharna
renamed theorems
11 months ago, by desharna
renamed theorems
11 months ago, by desharna
add title;
11 months ago, by Fabian Huch
use build_cluster in ci builds;
11 months ago, by Fabian Huch
merged
11 months ago, by desharna
tuned alias names in formulas
11 months ago, by desharna
renamed theorems
11 months ago, by desharna
add favicon to web app;
11 months ago, by Fabian Huch
merged
11 months ago, by wenzelm
clarified data representation: prefer explicit type Thm_Name;
11 months ago, by wenzelm
more operations, following Isabelle/ML;
11 months ago, by wenzelm
clarified signature: more explicit operations;
11 months ago, by wenzelm
clarified treatment of Thm_Name.T (again, see also 8a9588ffc133);
11 months ago, by wenzelm
clarified operations, including exceptions;
11 months ago, by wenzelm

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

isabelle