Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+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.
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
merged
21 months ago, by wenzelm
support for dynamic classpath from exports;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
Avoid shadowing original List._ namespace.
21 months ago, by haftmann
replaced complicated lemma by a simpler one
21 months ago, by nipkow
clarified signature;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
more documentation;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
removed obsolete commands;
22 months ago, by wenzelm
command 'scala_build_generated_files' with proper management of source dependencies;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned messages;
22 months ago, by wenzelm
support more file types;
22 months ago, by wenzelm
support for Java language;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
support for classpath artifacts within session structure:
22 months ago, by wenzelm
clarified names;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
unused;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned signature: more explicit types;
22 months ago, by wenzelm
fix document build error
22 months ago, by Lukas Stevens
tuned (some HOL lints, by Yecine Megdiche);
22 months ago, by Fabian Huch
moved lemma fromm AFP
22 months ago, by nipkow
tuned names
22 months ago, by nipkow
refined code equations for characters
22 months ago, by haftmann
prefer non-JNI SAT solvers by default in Nitpick
22 months ago, by blanchet
milder Sledgehammer messages
22 months ago, by blanchet
moved lemmas from AFP
22 months ago, by nipkow
refined code equations for characters
22 months ago, by haftmann
tuned comments;
22 months ago, by wenzelm
support for Isabelle/Scala/Java modules in Isabelle/ML;
22 months ago, by wenzelm
more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
22 months ago, by wenzelm
clarified signature: read_theory_exports is already ordered;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
sketch for word-specific lsb and msb
22 months ago, by haftmann
switch to Scala 3;
22 months ago, by wenzelm
minor performance tuning: avoid redundant BigInt construction;
22 months ago, by wenzelm
added lemmas total_on_trancl and totalp_on_tranclp
22 months ago, by desharna
Move code lemmas for symbolic computation of bit operations on int to distribution.
22 months ago, by haftmann
fixed diverging simproc cont_intro
22 months ago, by desharna
corrections and adjustions for Scala 3
22 months ago, by haftmann
more complete set of code equations
22 months ago, by haftmann
officical abstract characters for code generation
22 months ago, by haftmann
provide components for scala3 (still inactive);
22 months ago, by wenzelm
updated download version;
22 months ago, by wenzelm
obsolete;
22 months ago, by wenzelm
more keywords for scala3;
22 months ago, by wenzelm
discontinued Isabelle tools implemented as .scala scripts;
22 months ago, by wenzelm
tuned proofs
22 months ago, by desharna
clarified heap alignment, to make it potentially more stable on macOS;
22 months ago, by wenzelm
tuned proof
22 months ago, by desharna
added lemmas domain_comp and unify_gives_minimal_domain
22 months ago, by desharna
added definition range_vars and lemmas vars_of_subst_conv_Union, vars_of_subst_subset, range_vars_comp_subset, and unify_gives_minimal_range
22 months ago, by desharna
merged
22 months ago, by desharna
added definition IMGU and lemmas IMGU_iff_Idem_and_MGU and unify_computes_IMGU
22 months ago, by desharna
more macOS versions;
22 months ago, by wenzelm
prefer Isabelle/Scala operations;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
clarified IO, following Java 11 and Isabelle/Scala;
22 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip