Mercurial
Mercurial
>
repos
>
testboard
/ 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 JavaScript-enabled browsers.
clarified antiquotations;
8 months ago, by wenzelm
clarified antiquotations;
8 months ago, by wenzelm
clarified antiquotations;
8 months ago, by wenzelm
clarified antiquotations;
8 months ago, by wenzelm
support for "lemma";
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
local fixes for "lemma" antiquotation;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
clarified keywords: major take precedence for commands, but not used for antiquotations;
8 months ago, by wenzelm
tuned modules;
8 months ago, by wenzelm
more antiquotations;
8 months ago, by wenzelm
moved a theorem to a sensible place
8 months ago, by paulson
merged
8 months ago, by wenzelm
tuned, continuing e955964d89cb;
8 months ago, by wenzelm
avoid waste of resources due to dynamic simpset (amending 45c09620f726);
8 months ago, by wenzelm
fix latex
8 months ago, by Norbert Schirmer
clarified modules;
8 months ago, by wenzelm
more generic bit/word lemmas for distribution
8 months ago, by haftmann
merged
8 months ago, by paulson
more CONTRIBUTORS and NEWS;
8 months ago, by wenzelm
cleanup; add Apple reference
8 months ago, by Norbert Schirmer
refine interface
11 months ago, by Norbert Schirmer
generalized component lookup for syntax and distinctness proofs. added some tracing.
19 months ago, by Norbert Schirmer
Added / moved some simple set-theoretic lemmas
8 months ago, by paulson
merged
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
more antiquotations;
8 months ago, by wenzelm
more antiquotations;
8 months ago, by wenzelm
more robust: genuinely free variables need to be instantiated;
8 months ago, by wenzelm
tuned comments;
8 months ago, by wenzelm
clarified errors;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
clarified instantiation: local beta reduction after substitution, as for Envir.expand_term_defs;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
clarified signature -- avoid clones;
8 months ago, by wenzelm
Refinement of partitions
8 months ago, by paulson
avoid persistence of static context: instantiation arguments should provide proper dynamic context;
8 months ago, by wenzelm
more antiquotations;
8 months ago, by wenzelm
more markup;
8 months ago, by wenzelm
clarified name, syntax, messages;
8 months ago, by wenzelm
more antiquotations;
8 months ago, by wenzelm
more control symbols;
8 months ago, by wenzelm
tuned signature;
8 months ago, by wenzelm
ML antiquotations to instantiate types/terms/props;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
clarified modules;
8 months ago, by wenzelm
clarified modules;
8 months ago, by wenzelm
clarified modules;
8 months ago, by wenzelm
discontinued obsolete "val extend = I" for data slots;
8 months ago, by wenzelm
clarified modules;
8 months ago, by wenzelm
clarified modules;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
tuned;
8 months ago, by wenzelm
clarified keywords and reports;
8 months ago, by wenzelm
clarified signature;
8 months ago, by wenzelm
merged
8 months ago, by desharna
merged
8 months ago, by wenzelm
tuned ML --- clarified use of context;
8 months ago, by wenzelm
tuned --- fewer clones;
8 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip