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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
proper treatment of self thm_id;
19 months ago, by wenzelm
added quickcheck setup
19 months ago, by haftmann
generalized
19 months ago, by haftmann
moved quickcheck setup to distribution
19 months ago, by haftmann
moved generic instance to distribution
19 months ago, by haftmann
clarified signature: support partial read_proof to accommodate proof term normalization vs. approximative proof_boxes as upper bound;
19 months ago, by wenzelm
turn hidden terms into dummy, e.g. relevant for boundary cases of reconstruct_proof;
19 months ago, by wenzelm
support dummy term;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
proof boxes based on proof digest (not proof term): thus it works with prune_proofs;
19 months ago, by wenzelm
proper Thm.transfer;
19 months ago, by wenzelm
clarified files;
19 months ago, by wenzelm
clarified proof_boxes (requires prune_proofs=false);
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
more robust;
19 months ago, by wenzelm
more robust: avoid looping Lazy.force due to misinterpreted interrupt;
19 months ago, by wenzelm
more informative combination_proof, e.g. relevant for proper type inference in HOL.Product_Type (with export_proofs);
19 months ago, by wenzelm
tuned  more stable type inference;
19 months ago, by wenzelm
updated to jdk11.0.4+11;
19 months ago, by wenzelm
updated to scala2.12.10;
19 months ago, by wenzelm
more support for proof terms;
19 months ago, by wenzelm
more support for proof terms;
19 months ago, by wenzelm
support for proof terms;
19 months ago, by wenzelm
clarified proof export;
19 months ago, by wenzelm
set_preproc for objectlogics with type classes;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
skip (somewhat pointless) shrink_proof more uniformly;
19 months ago, by wenzelm
apply_preproc for all proof boxes;
19 months ago, by wenzelm
cumulative errors for session partitions;
19 months ago, by wenzelm
proper guard for process_theory: ensure uniform precedence of results;
19 months ago, by wenzelm
load HOLProofs first: it introduces some extra "thm" items that are required later on;
19 months ago, by wenzelm
clarified count_file;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
more complete coverage of sessions: process_theory operation needs to handle duplicate theories;
19 months ago, by wenzelm
proper build_graph to make session selection work as in "isabelle build";
19 months ago, by wenzelm
incorporate sessions with record_proofs;
19 months ago, by wenzelm
clarified options;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified "isabelle update" options  more like "isabelle dump";
19 months ago, by wenzelm
clarified treatment of base logic image;
19 months ago, by wenzelm
simplified options: always split;
19 months ago, by wenzelm
proper guard  avoid bad result;
19 months ago, by wenzelm
split into standard partitions, for improved scalability;
19 months ago, by wenzelm
clarified defaults;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature: static Dump.Context vs. dynamic Dump.Session;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified sessions/directories;
19 months ago, by wenzelm
clarified signature default;
19 months ago, by wenzelm
clarified signature default;
19 months ago, by wenzelm
more operations for type classes;
19 months ago, by wenzelm
setup preprocessing for HOL proofs;
19 months ago, by wenzelm
support preprocessing of exported proofs;
19 months ago, by wenzelm
early setup of proof preprocessing;
19 months ago, by wenzelm
clarified output and input of Typ/Term;
19 months ago, by wenzelm
adapted to ML version;
19 months ago, by wenzelm
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+100
+300
+1000
tip