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

provide naproche-20220910 (inactive);
2022-09-10, by wenzelm
clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge;
2022-09-09, by wenzelm
unused;
2022-09-09, by wenzelm
update for release;
2022-09-09, by wenzelm
tuned: prefer Scala Regex operations;
2022-09-09, by wenzelm
tuning and updates for release;
2022-09-09, by wenzelm
NEWS;
2022-09-09, by wenzelm
discontinued somewhat pointless option: Proof_Display.pretty_goal_inst should always work smoothly (and not crash unexpectedly);
2022-09-09, by wenzelm
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
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
unused (see 15758fced053);
2022-09-05, by wenzelm
clarified modules;
2022-09-05, by wenzelm
show goal instantiation, notably for 'schematic_goal' command (inactive by default);
2022-09-05, by wenzelm
proper umlauts;
2022-09-05, by wenzelm
tuned signature;
2022-09-05, by wenzelm
tuned signature;
2022-09-05, by wenzelm
tuned;
2022-09-05, by wenzelm
tuned;
2022-09-05, by wenzelm
tuned error message;
2022-09-05, by wenzelm
merged
2022-09-07, by desharna
merged
2022-09-02, by desharna
moved antimono to Fun and redefined it as an abbreviation
2022-06-25, by desharna
moved mono and strict_mono to Fun and redefined them as abbreviations
2022-06-25, by desharna
clarified generic euclidean relation
2022-09-05, by haftmann
added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
2022-09-05, by blanchet
tuned signature;
2022-09-03, by wenzelm
check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
2022-09-03, by wenzelm
tuned signature;
2022-09-03, by wenzelm
tuned --- more robust syntax;
2022-09-03, by wenzelm
tuned signature;
2022-09-03, by wenzelm
back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination";
2022-09-03, by wenzelm
unused (see 347ed6219dab);
2022-09-03, by wenzelm
tuned signature;
2022-09-03, by wenzelm
more CONTRIBUTORS + NEWS;
2022-09-02, by wenzelm

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

isabelle