Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+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.
tuned: avoid premature File.read;
20 months ago, by wenzelm
tuned signature: build_log db is specific to PostgreSQL;
20 months ago, by wenzelm
maintain "uuid" column in session build database, to identity the original build process uniquely;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
unused (amending 3d723062dc70);
20 months ago, by wenzelm
more readable string literals;
20 months ago, by wenzelm
avoid duplicate fact error on global_interpretation of residues
20 months ago, by haftmann
avoid looping simplification for z2
20 months ago, by haftmann
more formal meta data, within ".browser_info";
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
support for pretty-printing of JSON trees;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned: slightly more generic operations;
20 months ago, by wenzelm
remove duplicate parsing for alethe; fix skolemization;
20 months ago, by Mathias Fleury
Gauss numbers
20 months ago, by haftmann
disable laramac01 for now: system update pending;
20 months ago, by wenzelm
clarified synchronized operations: approximate file-system transactions;
20 months ago, by wenzelm
more robust concurrency: use shared Browser_Info.Context with synchronized file-system operations;
20 months ago, by wenzelm
NEWS;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned comments, following "isabelle build" usage;
20 months ago, by wenzelm
clarified names;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
proper theory_dir for links to other session;
20 months ago, by wenzelm
tuned sources and comments;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
tuned sources and comments;
20 months ago, by wenzelm
clarified names: Browser_Info.Config vs. Browser_Info.Context;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
clarified signature: terminology of "base" (here) vs. "root" (there);
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
proper fonts_prefix (amending c14409948063): default is "" due to self-cancellation of dir;
20 months ago, by wenzelm
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
streamlined theorems
20 months ago, by haftmann
streamlined theorems and sections
20 months ago, by haftmann
streamlined primitive definitions for integer division
20 months ago, by haftmann
reintroduced SPASS to the mix
20 months ago, by blanchet
tweaked generation of Isar proofs
20 months ago, by blanchet
tweak Sledgehammer's slicing mechanism -- updated Zipperposition's slices and make them half as long as other provers' to pack more of them in 30 s
20 months ago, by blanchet
tuned comments;
20 months ago, by wenzelm
updated to sumatra_pdf-3.4.6;
20 months ago, by wenzelm
proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars;
20 months ago, by wenzelm
revived 'try0' and 'smart' Isar proofs in Sledgehammer
20 months ago, by blanchet
Cleanup of NonstandardAnalysis
20 months ago, by paulson
A bit of cleaning up
21 months ago, by paulson
The same, without adding a new simprule
21 months ago, by paulson
moved some material from Sum_of_Powers
21 months ago, by paulson
merged
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified theory_names with exported content;
21 months ago, by wenzelm
proper export theory_names: theory/parents are not necessarily present (amending 4d27b520622a);
21 months ago, by wenzelm
proper treatment of empty lines (amending 08f89f0e8a62);
21 months ago, by wenzelm
clarified signature: avoid confusing operation name (amending 8cf14d4ebec4);
21 months ago, by wenzelm
merged
21 months ago, by paulson
The right way to formulate card_UNION, plus the old version for compatibility
21 months ago, by paulson
tuned comments;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
unused;
21 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip