Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+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.
implemented thin versions of "preds" type systems + fixed various issues with type args
2011-05-17, by blanchet
use antiquotation
2011-05-17, by blanchet
renamed "shallow" to "thin" and make it the default
2011-05-17, by blanchet
more work on "shallow" encoding + adjustments to other encodings
2011-05-17, by blanchet
generate type classes predicates in new "shallow" encoding
2011-05-17, by blanchet
started implementing "shallow" type systems, based on ideas by Claessen et al.
2011-05-17, by blanchet
added syntax for "shallow" encodings
2011-05-17, by blanchet
provide isabellep as a method
2011-05-17, by blanchet
append special boring facts rather than prepend them, to avoid confusing E's weighting mechanism
2011-05-17, by blanchet
tuned;
2011-05-16, by wenzelm
less fine-grained mira dependencies
2011-05-16, by krauss
mira hack for special settings on lxbroy10
2011-05-16, by krauss
no dependencies for Isabelle_makeall, which will be built in one go
2011-05-16, by krauss
clarified handling of ISABELLE_USEDIR_OPTIONS in mira
2011-05-16, by krauss
future merge of grammars, to improve parallel performance;
2011-05-15, by wenzelm
only show relevant timing;
2011-05-15, by wenzelm
timing of Theory_Data operations, with implicit thread positions when functor is applied;
2011-05-15, by wenzelm
tuned;
2011-05-15, by wenzelm
eliminated obsolete "assert" function, including divergent (unused!?) clone in Predicate_Compile_Proof;
2011-05-15, by wenzelm
NEWS (cf. 4e8483cc2cc5);
2011-05-15, by wenzelm
simplified/unified method_setup/attribute_setup;
2011-05-15, by wenzelm
optional description for 'attribute_setup' and 'method_setup';
2011-05-15, by wenzelm
tuned signature;
2011-05-15, by wenzelm
merged
2011-05-14, by wenzelm
slightly more efficient claset operations, using Item_Net to maintain rules in canonical order;
2011-05-14, by wenzelm
use pointfree characterisation for fold_set locale
2011-05-14, by haftmann
discontinued global config options within attribute name space;
2011-05-14, by wenzelm
more precise warnings: observe context visibility;
2011-05-14, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip