isabelle: Graph

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 tip

NEWS: totalisation of ln
12 months ago, by paulson
merged
12 months ago, by paulson
Better multiplication and division rules for ln and log
12 months ago, by paulson
ignore error code for "isabelle worker" (in contrast to eff08c3f89fe): avoid confusing "failed to work" messages via Build_Cluster.start;
12 months ago, by wenzelm
disable old tests;
12 months ago, by wenzelm
added lemma image_mset_diff_if_inj
12 months ago, by desharna
added lemma minus_add_mset_if_not_in_lhs[simp]
12 months ago, by desharna
last-minute correction: no simprule for ln_minus
12 months ago, by paulson
merged
12 months ago, by paulson
Totalisation of ln and therefore log and powr
12 months ago, by paulson
merged
13 months ago, by paulson
The changes needed to reduce the need to snoop on edits to theory files
13 months ago, by paulson
tuned messages: whitespace following usual Isabelle conventions;
12 months ago, by wenzelm
merged
13 months ago, by wenzelm
reactivate mini2 long after upgrade (see also a11c461a1a3a);
13 months ago, by wenzelm
NEWS;
13 months ago, by wenzelm
tuned signature: expose internal limits for testing or add-on implementations;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
prefer official UTF-8 decoding (in contrast to 2541de190d92): this is also more efficient (factor 10-20);
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
unused (see also c2f176a38448);
13 months ago, by wenzelm
more robust message header: prefer explicit props_length/props_chunks over odd YXML.embed_controls;
13 months ago, by wenzelm
tuned signature: more operations;
13 months ago, by wenzelm
tuned comments;
13 months ago, by wenzelm
tuned whitespace;
13 months ago, by Fabian Huch
use ansi colored diffs;
13 months ago, by Fabian Huch
add diffs to build manager;
13 months ago, by Fabian Huch
clarified: components vs. extra components;
13 months ago, by Fabian Huch
compress reports;
13 months ago, by Fabian Huch
clarified build report;
13 months ago, by Fabian Huch
merged
13 months ago, by wenzelm
enforce rebuild of Isabelle/ML;
13 months ago, by wenzelm
clarified signature, following 43323d886ea3;
13 months ago, by wenzelm
clarified signature: more direct operation;
13 months ago, by wenzelm
clarified signature: more direct Bytes.raw and subsequent UTF-8 default decoding;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
unused;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
unused;
13 months ago, by wenzelm
tuned signature;
13 months ago, by wenzelm
simpler theorem
13 months ago, by nipkow
clarified: control verbosity;
13 months ago, by Fabian Huch
enforce rebuild of Isabelle/ML;
13 months ago, by wenzelm
more uniform Bytes.read_stream vs. File.read_stream;
13 months ago, by wenzelm
clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;
13 months ago, by wenzelm
more specialized operations;
13 months ago, by wenzelm
notable performance tuning for Library.separated_chunks variants;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
only consider jobs late if they have ancestors (amending 12901c03b416);
13 months ago, by Fabian Huch
enforce rebuild of Isabelle/ML;
13 months ago, by wenzelm
misc tuning: more uniform read_stream vs. read_file;
13 months ago, by wenzelm
proper limit for read operation (amending ac4d53bc8f6b);
13 months ago, by wenzelm
presumably unused (see also f992769dea97);
13 months ago, by wenzelm
remove inactive (e.g., crashed) hosts from scheduling;
13 months ago, by Fabian Huch

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip

isabelle