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
-30
+30
+50
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
tuned output: more Pretty.item;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified failure: warning for logical error, exception for program breakdown;
20 months ago, by wenzelm
print goal instantiation for global qed (and variations);
20 months ago, by wenzelm
clarified output;
20 months ago, by wenzelm
more robust: capture corner case seen in line 631 of "$AFP/Automatic_Refinement/Autoref_Bindings_HOL.thy" (AFP/6c87f24bb773);
20 months ago, by wenzelm
clarified message channel for 'print_state' (NB: the command was originally for TTY or Proof General);
20 months ago, by wenzelm
updated to postgresql-42.5.0;
20 months ago, by wenzelm
tool to build Isabelle component for PostgreSQL JDBC;
20 months ago, by wenzelm
clarified goal structure with proper instantiation of main goal, to support "show_goal_inst";
20 months ago, by wenzelm
option "show_states" for more verbosity of batch-builds;
20 months ago, by wenzelm
tuned --- avoid warnings;
20 months ago, by wenzelm
proper antiquotations;
20 months ago, 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;
20 months ago, by wenzelm
proper antiquotations;
20 months ago, by wenzelm
clarified options, following e.g. "show_consts";
20 months ago, by wenzelm
proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;
20 months ago, by wenzelm
unused (see 15758fced053);
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
show goal instantiation, notably for 'schematic_goal' command (inactive by default);
20 months ago, by wenzelm
proper umlauts;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned error message;
20 months ago, by wenzelm
merged
20 months ago, by desharna
merged
20 months ago, by desharna
moved antimono to Fun and redefined it as an abbreviation
22 months ago, by desharna
moved mono and strict_mono to Fun and redefined them as abbreviations
22 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip