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
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.
retrieve information about used files;
24 months ago, by wenzelm
tuned signature -- more robust;
24 months ago, by wenzelm
tuned signature;
24 months ago, by wenzelm
clarified signature: Export.Provider knows its (accidental) theory_names;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
24 months ago, by wenzelm
clarified signature: proper session_name for Sessions.Base (like Sessions.Info);
24 months ago, by wenzelm
tuned signature;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
avoid multiple load_commands;
24 months ago, by wenzelm
avoid redundant dependencies.load_commands with potential errors (amending ea4f86914cb2);
24 months ago, by wenzelm
tuned signature -- avoid redundant arguments;
24 months ago, by wenzelm
tuned -- following hints by IntelliJ IDEA;
24 months ago, by wenzelm
tuned signature;
24 months ago, by wenzelm
tuned comments;
24 months ago, by wenzelm
removed somewhat pointless transaction: db is meant to be finished (or updated monotonically);
24 months ago, by wenzelm
tuned signature;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
clarified signature: avoid repeated db_context.input_database;
24 months ago, by wenzelm
clarified signature: more robust;
24 months ago, by wenzelm
removed somewhat pointless operations (see a6c69599ab99);
24 months ago, by wenzelm
clarified signature;
2022-07-30, by wenzelm
tuned;
2022-07-30, by wenzelm
tuned;
2022-07-30, by wenzelm
clarified signature;
2022-07-30, by wenzelm
clarified names;
2022-07-30, by wenzelm
clarified signature;
2022-07-30, by wenzelm
clarified names;
2022-07-30, by wenzelm
clarified signature;
2022-07-30, by wenzelm
clarified signature: more explicit types;
2022-07-30, by wenzelm
unused (see 0d30ea76756c);
2022-07-29, by wenzelm
tuned;
2022-07-29, by wenzelm
clarified signature;
2022-07-29, by wenzelm
tuned;
2022-07-29, by wenzelm
unused (see 3064e165c660);
2022-07-29, by wenzelm
merge
24 months ago, by blanchet
changed the order of Zipperposition slices in Sledgehammer
24 months ago, by blanchet
merged
24 months ago, by paulson
The wellordering instantiation for length-ordered lists
24 months ago, by paulson
show sum_list defn
24 months ago, by nipkow
prettified def
2022-07-29, by nipkow
More lemmas.
2022-07-28, by haftmann
Some more proofs.
2022-07-28, by haftmann
a few new theorems
2022-07-28, by paulson
tuned;
2022-07-27, by wenzelm
clarified while-loops;
2022-07-27, by wenzelm
updated to postgresql-42.4.0;
2022-07-27, by wenzelm
updated to flatlaf-2.4;
2022-07-27, by wenzelm
updated to pdfjs-2.14.305;
2022-07-27, by wenzelm
more robust: retain Classpath value;
2022-07-27, by wenzelm
tuned;
2022-07-27, by wenzelm
mor robust;
2022-07-27, by wenzelm
clarified modules;
2022-07-27, by wenzelm
clarified signature;
2022-07-27, by wenzelm
update documentation, following 21c1f82e7f5d;
2022-07-26, by wenzelm
proper classpath for Scala compiler invocation (amending 14e22b525b13);
2022-07-26, by wenzelm
merged
2022-07-26, by wenzelm
support for dynamic classpath from exports;
2022-07-26, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip