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.
clarified modules;
18 months ago, by wenzelm
merged
18 months ago, by desharna
added lemmas multp_mono_strong and mult_mono_strong
18 months ago, by desharna
merged
18 months ago, by wenzelm
support for FoilTeX with demo document;
18 months ago, by wenzelm
tuned comments;
18 months ago, by wenzelm
tuned whitespace for "isabelle doc" display;
18 months ago, by wenzelm
support for Easychair style with demo document;
18 months ago, by wenzelm
support for Dagstuhl LIPIcs style with demo document;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned signature, following hints by IntelliJ IDEA;
18 months ago, by wenzelm
restructured
18 months ago, by haftmann
modulus for polynomials is invariant wrt. units
18 months ago, by haftmann
proper Java syntax (amending ea79c21bcc47);
18 months ago, by wenzelm
reactivate emerging tool after release (see 322f2e2799a7);
18 months ago, by wenzelm
separate out definition of bound to avoid spurious sort hypotheses (by Jan van Brügge)
18 months ago, by traytel
merged
18 months ago, by paulson
Beautification of some declarations
18 months ago, by paulson
merged
18 months ago, by wenzelm
more robust etc/preferences: default value remains;
18 months ago, by wenzelm
formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;
18 months ago, by wenzelm
Beautifying CTT a tiny bit
18 months ago, by paulson
A couple of new theorems. Also additional coercions to the complex numbers
18 months ago, by paulson
more macOS platforms, without reference hardware;
18 months ago, by wenzelm
official release;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
Added tag Isabelle2022 for changeset 1ac2416e8432
18 months ago, by wenzelm
tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;
Isabelle2022
18 months ago, by wenzelm
tuned signature, e.g. for Isabelle/DOF;
18 months ago, by wenzelm
updated to naproche-20221024: minor changes to documentation;
18 months ago, by wenzelm
Replaced some ugly legacy proofs
18 months ago, by paulson
more thorough cleanup;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned: more robust Scala syntax;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
no compression for database server: let PostgreSQL/TOAST do the job;
18 months ago, by wenzelm
prefer Zstd compression, notably for database exports;
18 months ago, by wenzelm
tuned: avoid redundant copy of potentially large array;
18 months ago, by wenzelm
merged
18 months ago, by desharna
tuned proof
18 months ago, by desharna
clarified signature;
18 months ago, by wenzelm
tuned signature, following isabelle.setup.Environment;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
prefer new instance, following "make" signature terminology;
18 months ago, by wenzelm
generic support for XZ and Zstd compression in Isabelle/Scala;
18 months ago, by wenzelm
clarified signature: default cache is actually dummy and not changed dynamically;
18 months ago, by wenzelm
clarified Zstd.init(): avoid accidential com.github.luben.zstd.util.Native.load() operation;
18 months ago, by wenzelm
support for Zstd data compression;
18 months ago, by wenzelm
enforce fresh build;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException;
18 months ago, by wenzelm
more informative errors, with optional exception trace as in Command_Line.tool;
18 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip