isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 tip

more operations;
9 months ago, by wenzelm
more operations;
9 months ago, by wenzelm
clarified signature: more robust operations;
9 months ago, by wenzelm
merged
9 months ago, by wenzelm
clarified modules (see also e063c0403650);
9 months ago, by wenzelm
more operations;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
tuned: more direct Name.context for bounds;
9 months ago, by wenzelm
Got rid of another 250 apply-lines
9 months ago, by paulson
merged
9 months ago, by paulson
more proof tidying
9 months ago, by paulson
more predictable proof id;
9 months ago, by wenzelm
more conservative cache: retain concurrent value;
9 months ago, by wenzelm
clarified thm_header command_pos vs. thm_pos;
9 months ago, by wenzelm
clarified signature, following zterm.ML;
9 months ago, by wenzelm
tuned whitespace;
9 months ago, by wenzelm
merged
9 months ago, by wenzelm
uniform export via ztyp/zterm/zproof;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
more operations;
9 months ago, by wenzelm
clarified scope of cache: avoid nested typ_cache;
9 months ago, by wenzelm
clarified scope of cache: per theory body;
9 months ago, by wenzelm
tuned module structure;
9 months ago, by wenzelm
clarified signature: more operations;
10 months ago, by wenzelm
merged
9 months ago, by nipkow
tuned
9 months ago, by nipkow
added nicer proof
9 months ago, by nipkow
better poller: don't start job when same version is already running;
9 months ago, by Fabian Huch
clarified: more uniform;
9 months ago, by Fabian Huch
merged
9 months ago, by desharna
added lemmas wfp_on_antimono_stronger and wf_on_antimono_stronger
9 months ago, by desharna
More streamlining
9 months ago, by paulson
merged
10 months ago, by paulson
Revised mixfix and streamlined proofs
10 months ago, by paulson
clarified Isabelle/Haskell type Term, following Isabelle/Scala (see 446b887e23c7);
10 months ago, by wenzelm
tuned output, following Isabelle/Scala;
10 months ago, by wenzelm
clarified data representation: prefer explicit OFCLASS constructor, following datatype zterm;
10 months ago, by wenzelm
clarified signature, following Isabelle/Scala;
10 months ago, by wenzelm
afford larger example (see also ccf9241af217);
10 months ago, by wenzelm
more scalable operations;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned (see also 4879d0021185);
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
clarified signature: afford explicit Scala data types;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned signature (again);
10 months ago, by wenzelm
clarified signature: more self-contained paint_chunk_list;
10 months ago, by wenzelm
clarified signature: more arguments;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified popup layer (not relevant yet);
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
misc tuning and clarification;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
tuned website;
10 months ago, by Fabian Huch
proper parse (amending dd86d35375a7);
10 months ago, by Fabian Huch
allow updating reports via build_manager_database tool, e.g. to generate hg logs/diffs;
10 months ago, by Fabian Huch
clarified;
10 months ago, by Fabian Huch
clarified;
10 months ago, by Fabian Huch
log and display components with empty (unknown) revisions to indicate that they are present;
10 months ago, by Fabian Huch
tuned log: omit previous changeset;
10 months ago, by Fabian Huch
take care of facts in cartouches
10 months ago, by nipkow
Simplified a few proofs
10 months ago, by paulson
tuned display;
10 months ago, by Fabian Huch
NEWS and CONTRIBUTORS;
10 months ago, by Fabian Huch
tuned HTML display of ANSI colors for better readability;
10 months ago, by Fabian Huch
render hg diff and log (on separate page);
10 months ago, by Fabian Huch
clarified;
10 months ago, by Fabian Huch
store hg log in addition to diff;
10 months ago, by Fabian Huch
clarified names;
10 months ago, by Fabian Huch
tuned;
10 months ago, by Fabian Huch
NEWS: totalisation of ln
10 months ago, by paulson
merged
10 months ago, by paulson
Better multiplication and division rules for ln and log
10 months ago, by paulson
ignore error code for "isabelle worker" (in contrast to eff08c3f89fe): avoid confusing "failed to work" messages via Build_Cluster.start;
10 months ago, by wenzelm
disable old tests;
10 months ago, by wenzelm
added lemma image_mset_diff_if_inj
10 months ago, by desharna
added lemma minus_add_mset_if_not_in_lhs[simp]
10 months ago, by desharna
last-minute correction: no simprule for ln_minus
10 months ago, by paulson
merged
10 months ago, by paulson
Totalisation of ln and therefore log and powr
10 months ago, by paulson
merged
10 months ago, by paulson
The changes needed to reduce the need to snoop on edits to theory files
10 months ago, by paulson
tuned messages: whitespace following usual Isabelle conventions;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
reactivate mini2 long after upgrade (see also a11c461a1a3a);
10 months ago, by wenzelm
NEWS;
10 months ago, by wenzelm
tuned signature: expose internal limits for testing or add-on implementations;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
prefer official UTF-8 decoding (in contrast to 2541de190d92): this is also more efficient (factor 10-20);
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
unused (see also c2f176a38448);
10 months ago, by wenzelm
more robust message header: prefer explicit props_length/props_chunks over odd YXML.embed_controls;
10 months ago, by wenzelm
tuned signature: more operations;
10 months ago, by wenzelm
tuned comments;
10 months ago, by wenzelm
tuned whitespace;
10 months ago, by Fabian Huch
use ansi colored diffs;
10 months ago, by Fabian Huch
add diffs to build manager;
10 months ago, by Fabian Huch
clarified: components vs. extra components;
10 months ago, by Fabian Huch
compress reports;
10 months ago, by Fabian Huch
clarified build report;
10 months ago, by Fabian Huch
merged
10 months ago, by wenzelm
enforce rebuild of Isabelle/ML;
10 months ago, by wenzelm
clarified signature, following 43323d886ea3;
10 months ago, by wenzelm
clarified signature: more direct operation;
10 months ago, by wenzelm
clarified signature: more direct Bytes.raw and subsequent UTF-8 default decoding;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
unused;
10 months ago, by wenzelm
tuned;
10 months ago, by wenzelm
clarified signature;
10 months ago, by wenzelm
unused;
10 months ago, by wenzelm
tuned signature;
10 months ago, by wenzelm
simpler theorem
10 months ago, by nipkow