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
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.
NEWS and documentation;
13 months ago, by wenzelm
merged
13 months ago, by wenzelm
use nicer notation, following 783406dd051e;
13 months ago, by wenzelm
merged
13 months ago, by paulson
A bit more tidying
13 months ago, by paulson
more markup for syntax consts;
13 months ago, by wenzelm
clarified Syntax.is_const (after 43c4817375bf): exclude logical consts from 'syntax_consts' / 'syntax_types', e.g. relevant for @{syntax_const} antiquotation;
13 months ago, by wenzelm
use nicer notation, following 783406dd051e;
13 months ago, by wenzelm
proper translation for "_qprod", following "_qsum" (see also e14b89d6ef13 and fa7d27ef7e59);
13 months ago, by wenzelm
tuned: prefer notation for Pure.type;
13 months ago, by wenzelm
tuned whitespace;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
tuned, following be8c0e039a5e;
13 months ago, by wenzelm
more markup for syntax consts;
13 months ago, by wenzelm
proper flags (amending 1319c729c65d): abbrevs are allowed, free variables are disallowed;
13 months ago, by wenzelm
Some tidying
13 months ago, by paulson
merged
13 months ago, by paulson
Tidied some messy old proofs
13 months ago, by paulson
merged
13 months ago, by wenzelm
more markup for syntax consts;
13 months ago, by wenzelm
more markup for syntax consts;
13 months ago, by wenzelm
clarified concrete syntax;
13 months ago, by wenzelm
more accurate markup (amending 43c4817375bf): only consider primitive syntax consts, avoid extra Markup.intensify e.g. due to "\<^const>Pure.all_binder";
13 months ago, by wenzelm
more concrete syntax and more checks;
13 months ago, by wenzelm
clarified signature: more operations;
13 months ago, by wenzelm
support for syntax const dependencies, with minimal integrity checks;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified markup: more uniform treatment of parse/print phase;
13 months ago, by wenzelm
tuned;
13 months ago, by wenzelm
clarified markup: more uniform;
13 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
tip