Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2022-09-07
wenzelm
updated to postgresql-42.5.0;
changeset
|
files
2022-09-07
wenzelm
tool to build Isabelle component for PostgreSQL JDBC;
changeset
|
files
2022-09-06
wenzelm
clarified goal structure with proper instantiation of main goal, to support "show_goal_inst";
changeset
|
files
2022-09-06
wenzelm
option "show_states" for more verbosity of batch-builds;
changeset
|
files
2022-09-06
wenzelm
tuned --- avoid warnings;
changeset
|
files
2022-09-06
wenzelm
proper antiquotations;
changeset
|
files
2022-09-06
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;
changeset
|
files
2022-09-05
wenzelm
proper antiquotations;
changeset
|
files
2022-09-05
wenzelm
clarified options, following e.g. "show_consts";
changeset
|
files
2022-09-05
wenzelm
proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;
changeset
|
files
2022-09-05
wenzelm
unused (see 15758fced053);
changeset
|
files
2022-09-05
wenzelm
clarified modules;
changeset
|
files
2022-09-05
wenzelm
show goal instantiation, notably for 'schematic_goal' command (inactive by default);
changeset
|
files
2022-09-05
wenzelm
proper umlauts;
changeset
|
files
2022-09-05
wenzelm
tuned signature;
changeset
|
files
2022-09-05
wenzelm
tuned signature;
changeset
|
files
2022-09-05
wenzelm
tuned;
changeset
|
files
2022-09-05
wenzelm
tuned;
changeset
|
files
2022-09-05
wenzelm
tuned error message;
changeset
|
files
2022-09-07
desharna
merged
changeset
|
files
2022-09-02
desharna
merged
changeset
|
files
2022-06-25
desharna
moved antimono to Fun and redefined it as an abbreviation
changeset
|
files
2022-06-25
desharna
moved mono and strict_mono to Fun and redefined them as abbreviations
changeset
|
files
2022-09-05
haftmann
clarified generic euclidean relation
changeset
|
files
2022-09-05
blanchet
added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
changeset
|
files
2022-09-03
wenzelm
tuned signature;
changeset
|
files
2022-09-03
wenzelm
check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
changeset
|
files
2022-09-03
wenzelm
tuned signature;
changeset
|
files
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
tip