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

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
more robust: capture corner case seen in line 631 of "$AFP/Automatic_Refinement/Autoref_Bindings_HOL.thy" (AFP/6c87f24bb773);
2022-09-07, by wenzelm
clarified message channel for 'print_state' (NB: the command was originally for TTY or Proof General);
2022-09-07, by wenzelm
updated to postgresql-42.5.0;
2022-09-07, by wenzelm
tool to build Isabelle component for PostgreSQL JDBC;
2022-09-07, by wenzelm
clarified goal structure with proper instantiation of main goal, to support "show_goal_inst";
2022-09-06, by wenzelm
option "show_states" for more verbosity of batch-builds;
2022-09-06, by wenzelm
tuned --- avoid warnings;
2022-09-06, by wenzelm
proper antiquotations;
2022-09-06, by wenzelm
inline markup for Output.state (in contrast to c94bba7906d2): make messages available via Rendering.text_messages and thus "isabelle log" (see cb0c407fbc6e), while Rendering.output_messages of Isabelle/jEdit/VSCode is unaffected;
2022-09-06, by wenzelm
proper antiquotations;
2022-09-05, by wenzelm
clarified options, following e.g. "show_consts";
2022-09-05, by wenzelm
proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;
2022-09-05, by wenzelm

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

isabelle