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
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.
proper antiquotations;
20 months ago, by wenzelm
clarified options, following e.g. "show_consts";
20 months ago, by wenzelm
proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;
20 months ago, by wenzelm
unused (see 15758fced053);
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
show goal instantiation, notably for 'schematic_goal' command (inactive by default);
20 months ago, by wenzelm
proper umlauts;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned error message;
20 months ago, by wenzelm
merged
20 months ago, by desharna
merged
20 months ago, by desharna
moved antimono to Fun and redefined it as an abbreviation
22 months ago, by desharna
moved mono and strict_mono to Fun and redefined them as abbreviations
22 months ago, by desharna
clarified generic euclidean relation
20 months ago, by haftmann
added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
20 months ago, by blanchet
tuned signature;
20 months ago, by wenzelm
check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned --- more robust syntax;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination";
20 months ago, by wenzelm
unused (see 347ed6219dab);
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
more CONTRIBUTORS + NEWS;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
proper description;
20 months ago, by wenzelm
tuned whitespace;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip