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.
export entity file position as well, e.g. relevant for HTML presentation with aux. files;
23 months ago, by wenzelm
proper permissive = true (amending 475fedc02737)
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
more robust directory structure: always relative to session_dir;
23 months ago, by wenzelm
discontinued slightly odd integrity check (from af2d0e07493b): requires a different approach;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
misc tuning and clarification;
23 months ago, by wenzelm
unused;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
clarified modules;
23 months ago, by wenzelm
clarified modules;
23 months ago, by wenzelm
unused;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
clarified signature: replaced Sessions.Deps by Sessions.Structure from HTML_Context;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
clarified signature: avoid constants from Sessions.Structure within Session.Base;
23 months ago, by wenzelm
clarified signature: avoid object-oriented HTML_Context;
23 months ago, by wenzelm
tuned type signature
23 months ago, by haftmann
tuned type signature
23 months ago, by haftmann
streamlined theorems
23 months ago, by haftmann
more thorough split rules for div and mod on numerals, tuned split rules setup
23 months ago, by haftmann
streamlined simpset building, avoiding duplicated rewrite rules
23 months ago, by haftmann
consolidated attribute name
23 months ago, by haftmann
streamlined theorems
23 months ago, by haftmann
streamlined theorems and sections
23 months ago, by haftmann
streamlined primitive definitions for integer division
23 months ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip