Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+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.
streamlined
20 months ago, by haftmann
simplified computation algorithm construction
20 months ago, by haftmann
merged;
20 months ago, by wenzelm
more robust GUI initialization (amending 29441f2bfe81);
20 months ago, by wenzelm
clarified signature: just one common operation;
20 months ago, by wenzelm
clarified paths and links;
20 months ago, by wenzelm
more concise output of files: just one round;
20 months ago, by wenzelm
more robust;
20 months ago, by wenzelm
proper node_dir within presentation_dir, not source file directory;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
clarified names;
20 months ago, by wenzelm
more thorough checks of browser_info file conflicts;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
prefer strict operations with explicit errors (instead of missing HTML output);
20 months ago, by wenzelm
more thorough check, without path name artifacts (e.g. "./README");
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified signature: Sessions.Base_Info follows Sessions.Base;
20 months ago, by wenzelm
clarified signature: follow Sessions.Deps.check_errors (despite Process_Result.check);
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned whitespace;
20 months ago, by wenzelm
evade clash with index.html (allow "Index.thy" even on case-insensitive file-systems);
20 months ago, by wenzelm
discontinued special support for README.html (which was hardly ever used in the past 2 decades);
20 months ago, by wenzelm
clarified directory layout (again): mimic original directory layout, notably ISABELLE_HOME;
20 months ago, by wenzelm
more robust treatment of Document.Node.Name, following stored data;
20 months ago, by wenzelm
more robust;
20 months ago, by wenzelm
clarified directory layout: files are relative to enclosing theory;
20 months ago, by wenzelm
tuned signature: avoid duplication;
20 months ago, by wenzelm
more robust: theories could have been suppressed via option "condition";
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned messages (again, see d50c2129e73a): presentation setup could fail initially for take some time;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
clarified signature: support for adhoc file types;
20 months ago, by wenzelm
clarified Presentation.Nodes, with explicit Nodes.Session and Nodes.Theory;
20 months ago, by wenzelm
export entity file position as well, e.g. relevant for HTML presentation with aux. files;
20 months ago, by wenzelm
proper permissive = true (amending 475fedc02737)
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
more robust directory structure: always relative to session_dir;
20 months ago, by wenzelm
discontinued slightly odd integrity check (from af2d0e07493b): requires a different approach;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
misc tuning and clarification;
20 months ago, by wenzelm
unused;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
unused;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified signature: replaced Sessions.Deps by Sessions.Structure from HTML_Context;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified signature: avoid constants from Sessions.Structure within Session.Base;
20 months ago, by wenzelm
clarified signature: avoid object-oriented HTML_Context;
20 months ago, by wenzelm
tuned type signature
20 months ago, by haftmann
tuned type signature
20 months ago, by haftmann
streamlined theorems
20 months ago, by haftmann
more thorough split rules for div and mod on numerals, tuned split rules setup
20 months ago, by haftmann
streamlined simpset building, avoiding duplicated rewrite rules
20 months ago, by haftmann
consolidated attribute name
20 months ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip