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
-30
+30
+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.
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
generalized attribute name
2012-03-03, by haftmann
dropped dead theories
2012-03-03, by haftmann
one unified Importer theory
2012-03-03, by haftmann
added actual dependencies
2012-03-03, by haftmann
import all importer theories in compatibility layer
2012-03-03, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip