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
+10000
+30000
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.
tuned;
2012-03-10, by wenzelm
clarified Pattern.matchess;
2012-03-10, by wenzelm
tuned;
2012-03-10, by wenzelm
more precise alignment of begin/end, proof/qed;
2012-03-10, by wenzelm
merged
2012-03-09, by wenzelm
beautified
2012-03-09, by haftmann
more precise checking for wellformedness of mapper, before and after morphism application
2012-03-09, by haftmann
reject mapper terms with type variables not contained in the term's type
2012-03-09, by haftmann
always bracket case expressions in Scala
2012-03-09, by haftmann
tuned signature;
2012-03-09, by wenzelm
merges
2012-03-09, by paulson
More calculation-based cardinality proofs
2012-03-09, by paulson
split make_tptp_parser into two scripts, for parser and lib respectively;
2012-03-09, by sultana
added ml-yacc library sources;
2012-03-09, by sultana
added tptp parser;
2012-03-09, by sultana
merged
2012-03-08, by wenzelm
Structured and calculation-based proofs (with new trans rules!)
2012-03-08, by paulson
Structured and calculation-based proofs (with new trans rules!)
2012-03-08, by paulson
tuned comment;
2012-03-08, by wenzelm
simplified -- plain map_index is sufficient (pointed out by Enrico Tassi);
2012-03-08, by wenzelm
tuned;
2012-03-08, by wenzelm
clarified XML signature (again) -- coincide with basic Markup without explicit dependency;
2012-03-08, by wenzelm
more precise warning/error positions;
2012-03-08, by wenzelm
merged
2012-03-07, by wenzelm
less rigorous but more realistic migration recommendation; note on code generation of sets
2012-03-07, by haftmann
tuned syntax; more candidates
2012-03-07, by haftmann
tuned message (cf. ML version);
2012-03-07, by wenzelm
eliminated dead code;
2012-03-07, by wenzelm
tuned signature;
2012-03-07, by wenzelm
simplified signature (NB: interpretation of properties is mainly done via XML.Encode/Decode);
2012-03-07, by wenzelm
to_pred/set attributes now properly handle variables of type "... => T set"
2012-03-07, by berghofe
some recovery of IsaMakefile targets from f3c10e908f65;
2012-03-07, by wenzelm
added max_new_mono_instances, max_mono_iters, to Mirabelle-Sledgehammer; changed sh_minimize to avoid setting Mirabelle-level defaults;
2012-03-07, by sultana
added sh_minimize and preplay_timeout options to Mirabelle's Sledgehammer action;
2012-03-07, by sultana
added Mirabelle action info in its log file; tuned;
2012-03-07, by sultana
More mathematical symbols for ZF examples
2012-03-06, by paulson
mathematical symbols for Isabelle/ZF example theories
2012-03-06, by paulson
Using mathematical notation for <-> and cardinal arithmetic
2012-03-06, by paulson
mathematical symbols instead of ASCII
2012-03-06, by paulson
addressed a quotient-type-related issue that arose with the port to "set"
2012-03-04, by blanchet
ensure no abstractions leak through after lambda-lifting (for formulas with higher-order occurrences of quantifiers)
2012-03-04, by blanchet
updates for jedit-4.5.0 (still inactive);
2012-03-04, by wenzelm
more explicit patches;
2012-03-04, by wenzelm
tuned comment;
2012-03-04, by wenzelm
removed obsolete proper_command_at (cf. 03a2dc9e0624);
2012-03-04, by wenzelm
added Command.proper_range (still unused);
2012-03-04, by wenzelm
clarified special eol treatment and moved to gfx_range -- enables error messages at end of input, e.g. "prop PROP";
2012-03-04, by wenzelm
clarified command span: include trailing whitespace/comments and thus reduce number of ignored spans with associated transactions and states (factor 2);
2012-03-04, by wenzelm
tuned
2012-03-04, by haftmann
move test targets to test target
2012-03-04, by haftmann
dropped images for importer sessions
2012-03-04, by haftmann
dropped dead code
2012-03-04, by haftmann
more accurate dependencies
2012-03-04, by haftmann
tuned ML
2012-03-04, by haftmann
dropped silly code
2012-03-04, by haftmann
tuned
2012-03-04, by haftmann
dropped dead code
2012-03-04, by haftmann
actually add "the" Importer theory
2012-03-04, by haftmann
avoid internal hol4 name references in generic importer code
2012-03-04, by haftmann
generalized user-visible text
2012-03-03, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip