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 JavaScriptenabled browsers.
set_preproc for objectlogics with type classes;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
skip (somewhat pointless) shrink_proof more uniformly;
21 months ago, by wenzelm
apply_preproc for all proof boxes;
21 months ago, by wenzelm
cumulative errors for session partitions;
21 months ago, by wenzelm
proper guard for process_theory: ensure uniform precedence of results;
21 months ago, by wenzelm
load HOLProofs first: it introduces some extra "thm" items that are required later on;
21 months ago, by wenzelm
clarified count_file;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
more complete coverage of sessions: process_theory operation needs to handle duplicate theories;
21 months ago, by wenzelm
proper build_graph to make session selection work as in "isabelle build";
21 months ago, by wenzelm
incorporate sessions with record_proofs;
21 months ago, by wenzelm
clarified options;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified "isabelle update" options  more like "isabelle dump";
21 months ago, by wenzelm
clarified treatment of base logic image;
21 months ago, by wenzelm
simplified options: always split;
21 months ago, by wenzelm
proper guard  avoid bad result;
21 months ago, by wenzelm
split into standard partitions, for improved scalability;
21 months ago, by wenzelm
clarified defaults;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified signature: static Dump.Context vs. dynamic Dump.Session;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified sessions/directories;
21 months ago, by wenzelm
clarified signature default;
21 months ago, by wenzelm
clarified signature default;
21 months ago, by wenzelm
more operations for type classes;
21 months ago, by wenzelm
setup preprocessing for HOL proofs;
21 months ago, by wenzelm
support preprocessing of exported proofs;
21 months ago, by wenzelm
early setup of proof preprocessing;
21 months ago, by wenzelm
clarified output and input of Typ/Term;
21 months ago, by wenzelm
adapted to ML version;
21 months ago, by wenzelm
more compact XML;
21 months ago, by wenzelm
more compact XML: separate environment for free variables;
21 months ago, by wenzelm
more compact XML;
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
proper ML names;
21 months ago, by wenzelm
clarified standard_proof_of: prefer expand_proof over somewhat adhoc strip_thm_proof;
21 months ago, by wenzelm
some treatment of OfClass proofs;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
misc tuning and clarification;
21 months ago, by wenzelm
proper treatment of axm_proof/oracle_proof like a closed proof constant, e.g. relevant for proof reconstruction of List.list.full_exhaustive_list.simps;
21 months ago, by wenzelm
clarified oracle_proof;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
more compact XML representation;
22 months ago, by wenzelm
proper generalize_proof: schematic variables need to be explicit in the resulting proof term (for shrink/reconstruct operation);
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned  more direct ML expressions;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
tuned whitespace;
22 months ago, by wenzelm
more accurate treatment of propositions within proof terms, but these are ultimately ignored for performance reasons;
22 months ago, by wenzelm
unused;
22 months ago, by wenzelm
less
more

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