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
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.
use '%x. x = C' as default discriminator for nullary constructor C, instead of relying on odd '=:' syntax
2014-05-26, by blanchet
renamed 'MaSh' option
2014-05-26, by blanchet
document '=:' syntax better
2014-05-26, by blanchet
capitalize even more carefully (see 5ac67041ccf8), e.g. relevant for option "z3_non_commercial" and prospective "MaSh";
2014-05-26, by wenzelm
tuned;
2014-05-25, by wenzelm
clarified copy_file: allow to rename base name, e.g. relevant for 'display_drafts';
2014-05-24, by wenzelm
support for regular Windows TeX installation;
2014-05-24, by wenzelm
more portable file names;
2014-05-24, by wenzelm
more portable -- accomodate MiKTeX on Windows;
2014-05-24, by wenzelm
receovered alternative abbrevs for \<open> \<close> from 8e8243975860, to accommodate national keyboard layouts where "`" might be hard to produce;
2014-05-24, by wenzelm
strip trailing white space, to avoid notorious problems of jEdit with last line;
2014-05-24, by wenzelm
added fifth member to BNF team
2014-05-23, by blanchet
removed noise
2014-05-23, by blanchet
fixed semantics of 'linearize'
2014-05-23, by blanchet
automatically reload state file when it changes on disk
2014-05-23, by blanchet
tuned
2014-05-22, by haftmann
tuned names
2014-05-22, by haftmann
tuned signature
2014-05-22, by haftmann
moved const declaration further down in bootstrap hierarchy: keep Named_Target free of low-level stuff
2014-05-22, by haftmann
unused
2014-05-22, by haftmann
tuned
2014-05-22, by haftmann
more uniform order of operations;
2014-05-22, by haftmann
common background_abbrev operation
2014-05-22, by haftmann
tuned signature
2014-05-22, by haftmann
tuned: prefer separate function trails for locales and classes rather than ad-hoc case distinction
2014-05-22, by haftmann
compactified
2014-05-22, by haftmann
include Nominal2 keywords -- Proof General legacy;
2014-05-22, by wenzelm
another attempt to revive isatest -- reverting 801c01004a21;
2014-05-22, by wenzelm
avoid slow inspection of proof terms now that dependencies are stored in 'state'
2014-05-22, by blanchet
properly mark relearns as dirty
2014-05-22, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
tip