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

clarified operations, following pretty_thm_name;
10 months ago, by wenzelm
more accurate treatment of Thm_Name.T;
10 months ago, by wenzelm
renamed lemmas
10 months ago, by desharna
merged
10 months ago, by desharna
renamed theorems
10 months ago, by desharna
renamed theorems
10 months ago, by desharna
add title;
10 months ago, by Fabian Huch
use build_cluster in ci builds;
10 months ago, by Fabian Huch
merged
10 months ago, by desharna
tuned alias names in formulas
10 months ago, by desharna
renamed theorems
10 months ago, by desharna
add favicon to web app;
10 months ago, by Fabian Huch
merged
10 months ago, by wenzelm
clarified data representation: prefer explicit type Thm_Name;
10 months ago, by wenzelm
more operations, following Isabelle/ML;
10 months ago, by wenzelm
clarified signature: more explicit operations;
10 months ago, by wenzelm
clarified treatment of Thm_Name.T (again, see also 8a9588ffc133);
10 months ago, by wenzelm
clarified operations, including exceptions;
10 months ago, by wenzelm
tuned: more direct Isabelle/ML;
10 months ago, by wenzelm
clarified modules;
10 months ago, by wenzelm
more accurate thm "name_hint", using Thm_Name.T;
10 months ago, by wenzelm
more operationsd;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms);
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
clarified output, following Consumer_Thread.failure;
10 months ago, by wenzelm
more informative exception output, with optional trace;
10 months ago, by wenzelm
more accurate output of Thm_Name.T wrt. facts name space;
10 months ago, by wenzelm

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

isabelle