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 comments;
22 months ago, by wenzelm
removed somewhat pointless transaction: db is meant to be finished (or updated monotonically);
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature: avoid repeated db_context.input_database;
22 months ago, by wenzelm
clarified signature: more robust;
22 months ago, by wenzelm
removed somewhat pointless operations (see a6c69599ab99);
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified names;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified names;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature: more explicit types;
22 months ago, by wenzelm
unused (see 0d30ea76756c);
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
unused (see 3064e165c660);
22 months ago, by wenzelm
merge
22 months ago, by blanchet
changed the order of Zipperposition slices in Sledgehammer
22 months ago, by blanchet
merged
22 months ago, by paulson
The wellordering instantiation for length-ordered lists
22 months ago, by paulson
show sum_list defn
22 months ago, by nipkow
prettified def
22 months ago, by nipkow
More lemmas.
22 months ago, by haftmann
Some more proofs.
22 months ago, by haftmann
a few new theorems
22 months ago, by paulson
tuned;
23 months ago, by wenzelm
clarified while-loops;
23 months ago, by wenzelm
updated to postgresql-42.4.0;
23 months ago, by wenzelm
updated to flatlaf-2.4;
23 months ago, by wenzelm
updated to pdfjs-2.14.305;
23 months ago, by wenzelm
more robust: retain Classpath value;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
mor robust;
23 months ago, by wenzelm
clarified modules;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
update documentation, following 21c1f82e7f5d;
23 months ago, by wenzelm
proper classpath for Scala compiler invocation (amending 14e22b525b13);
23 months ago, by wenzelm
merged
23 months ago, by wenzelm
support for dynamic classpath from exports;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
Avoid shadowing original List._ namespace.
23 months ago, by haftmann
replaced complicated lemma by a simpler one
23 months ago, by nipkow
clarified signature;
23 months ago, by wenzelm
clarified modules;
23 months ago, by wenzelm
merged
23 months ago, by wenzelm
more documentation;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
removed obsolete commands;
23 months ago, by wenzelm
command 'scala_build_generated_files' with proper management of source dependencies;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
tuned messages;
23 months ago, by wenzelm
support more file types;
23 months ago, by wenzelm
support for Java language;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip