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 -16 +16 +100 +300 +1000 +3000 tip

give up show_main_goal (despite 922e3f9251ac): show_goal_inst is sufficient, even for final results;
2022-09-08, by wenzelm
merged
2022-09-08, by wenzelm
discontinue fragile operations;
2022-09-08, by wenzelm
proper context option: change of underlying Options.default will not survive PIDE "Prover.options" (e.g. change of Isabelle/jEdit plugin options);
2022-09-08, by wenzelm
enable show_goal_inst by default: match failure is merely a warning (see 730638d4e37a);
2022-09-08, by wenzelm
updated documentation;
2022-09-08, by wenzelm
support multiple sessions, with cumulative errors;
2022-09-08, by wenzelm
support regex patterns on messages;
2022-09-08, by wenzelm
support Pretty.unformatted, similar to ML version;
2022-09-08, by wenzelm
removed odd TODO item (see 3391a493f39a);
2022-09-08, by wenzelm
tuned signature;
2022-09-08, by wenzelm
tuned output: more Pretty.item;
2022-09-08, by wenzelm
tuned signature;
2022-09-08, by wenzelm
clarified failure: warning for logical error, exception for program breakdown;
2022-09-08, by wenzelm
print goal instantiation for global qed (and variations);
2022-09-07, by wenzelm
clarified output;
2022-09-07, by wenzelm

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

isabelle