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