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 signature, following isabelle.setup.Environment;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
prefer new instance, following "make" signature terminology;
20 months ago, by wenzelm
generic support for XZ and Zstd compression in Isabelle/Scala;
20 months ago, by wenzelm
clarified signature: default cache is actually dummy and not changed dynamically;
20 months ago, by wenzelm
clarified Zstd.init(): avoid accidential com.github.luben.zstd.util.Native.load() operation;
20 months ago, by wenzelm
support for Zstd data compression;
20 months ago, by wenzelm
enforce fresh build;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException;
20 months ago, by wenzelm
more informative errors, with optional exception trace as in Command_Line.tool;
20 months ago, by wenzelm
more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac;
20 months ago, by wenzelm
proper chapter for each ROOT file (amending b07f2ff55144);
20 months ago, by wenzelm
tidying of ugly legacy proofs
20 months ago, by paulson
Tidying of old and ugly proofs
20 months ago, by paulson
deleted unused material
20 months ago, by paulson
A bit of tidying
20 months ago, by paulson
merged
20 months ago, by paulson
Slight tidying of legacy proofs
20 months ago, by paulson
merged
20 months ago, by wenzelm
update naproche component;
20 months ago, by wenzelm
Added tag Isabelle2022-RC4 for changeset 8b4108f41c77
20 months ago, by wenzelm
rebuild with proper Isabelle version;
20 months ago, by wenzelm
removed junk;
20 months ago, by wenzelm
more robust, e.g. for "isabelle dump";
20 months ago, by wenzelm
more robust, e.g. for "isabelle dump";
20 months ago, by wenzelm
more robust, e.g. for "isabelle dump";
20 months ago, by wenzelm
allow spaces in SCALA_HOME directory name;
20 months ago, by wenzelm
avoid spurious error messages, e.g. when scala is missing;
20 months ago, by wenzelm
more NEWS;
20 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
20 months ago, by wenzelm
avoid result based on outdated state, e.g. relevant for use_theories with changed files;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature, following hints by IntelliJ IDEA;
20 months ago, by wenzelm
more robust treatment of state and events;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
proper result state (amending 954640e846d6);
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned: clarified old_theory (in contrast to 4d5342898b1);
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
more robust: active consumer for check_state/check_progress;
20 months ago, by wenzelm
proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0);
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
proper Symbol.encode (following fd1efd6dd385), e.g. relevant for 'ML_file' with symbols like \<^here>;
20 months ago, by wenzelm
merged
20 months ago, by desharna
added lemma fmember_iff_member_fset
20 months ago, by desharna
tiny renaming
20 months ago, by paulson
merged
20 months ago, by paulson
Added the multiset termination proof
20 months ago, by paulson
generate some metainformation not only for SPASS but also for Zipperposition, for experimentation
20 months ago, by blanchet
added lemma wfP_subset_mset[simp]
20 months ago, by desharna
Tidying of some very old proofs
20 months ago, by paulson
merged
20 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip