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 tip

more robust output: no markup as last resort;
16 hours ago, by wenzelm
clarified signature: more scalable output --- avoid adhoc string concatenations after Pretty.string_of;
43 hours ago, by wenzelm
clarified signature: more scalable output;
44 hours ago, by wenzelm
tuned;
2 days ago, by wenzelm
more scalable: discontinue odd shortcuts from 6b3739fee456, which produce bulky strings internally;
2 days ago, by wenzelm
tuned
28 hours ago, by haftmann
preserved facts order in Sledgehammer's linear minimizer
2 days ago, by desharna
merged
2 days ago, by wenzelm
more scalable;
2 days ago, by wenzelm
more scalable;
2 days ago, by wenzelm
more scalable output;
2 days ago, by wenzelm
tuned document text;
2 days ago, by wenzelm
more navigator positions, after BufferUpdate.LOADED and Buffer.CARET_POSITIONED (see also e48b3ddc4810);
3 days ago, by wenzelm
pass "using" facts as parameters to metis in try0
2 days ago, by desharna
clarified signature
2 days ago, by desharna
proper command message for Sledgehammer's proof methods
2 days ago, by desharna
merged
3 days ago, by desharna
tuned metis_instantiate (import types, support unfixed variables)
4 days ago, by Lukas Bartl
merged
3 days ago, by wenzelm
merged
3 days ago, by wenzelm
update NEWS;
3 days ago, by wenzelm
proper painting of menu accelerator in dark mode;
3 days ago, by wenzelm
clarified patches;
3 days ago, by wenzelm
more uniform init_lafs();
4 days ago, by wenzelm

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

isabelle