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.
isabelle update -u path_cartouches;
15 months ago, by wenzelm
merged
15 months ago, by wenzelm
updated documentation;
15 months ago, by wenzelm
more options;
15 months ago, by wenzelm
tuned message;
15 months ago, by wenzelm
isabelle update no longer uses PIDE dump, but regular session build database: more scalable;
15 months ago, by wenzelm
more robust;
15 months ago, by wenzelm
more operations;
15 months ago, by wenzelm
proper Node.init_blobs, not just edits (amending ca872f20cf5b);
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
clarified session sources: theory and blobs are read from database, instead of physical file-system;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature: more operations;
15 months ago, by wenzelm
clarified signature: more operations;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
more direct access to session_sources, without somewhat fragile file-system operations;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned signature;
15 months ago, by wenzelm
tuned signature: avoid confusion with Document.Node.Blob and Command.Blob;
15 months ago, by wenzelm
clarified signature: old node is ignored;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
final tidying of theorems
15 months ago, by paulson
merged
15 months ago, by paulson
merged
15 months ago, by paulson
continued proof simplification
15 months ago, by paulson
merged
15 months ago, by paulson
Further simplifications
15 months ago, by paulson
More tidying of proofs
15 months ago, by paulson
tuned;
15 months ago, by wenzelm
merged
15 months ago, by wenzelm
discontinued fragile operation;
15 months ago, by wenzelm
more robust operations: avoid somewhat fragile Document.Node.Name.master_dir_path;
15 months ago, by wenzelm
tuned whitespace;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
avoid somewhat fragile Document.Node.Name.master_dir_path;
15 months ago, by wenzelm
clarified signature: avoid somewhat fragile Document.Node.Name.master_dir_path;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified modules;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
clarified master_dir: avoid somewhat fragile Document.Node.Name.master_dir_path;
16 months ago, by wenzelm
tuned signature: avoid too many aliases (see also 72daee8a39ca);
16 months ago, by wenzelm
clarified modules;
16 months ago, by wenzelm
merged
15 months ago, by desharna
strengthened and renamed lemmas asym_on_iff_irrefl_on_if_trans and asymp_on_iff_irreflp_on_if_transp
16 months ago, by desharna
Fixed a couple of simple_path occurrences
16 months ago, by paulson
merged
16 months ago, by paulson
Tidying up of paths, introducing "loop_free" as a separate predicate in the definition of "simple_path"
16 months ago, by paulson
clarified signature: more explicit types;
16 months ago, by wenzelm
more robust: prefer internal theory names;
16 months ago, by wenzelm
clarified session_sources (again, see also 9d0e6ea7aa68);
16 months ago, by wenzelm
clarified signature: more explicit types;
16 months ago, by wenzelm
tuned output;
16 months ago, by wenzelm
clarified signature: more general operations;
16 months ago, by wenzelm
clarified signature: more explicit types;
16 months ago, by wenzelm
clarified signature: more explicit types (see also 90c552d28d36);
16 months ago, by wenzelm
do write_session_sources early, to have information available in build job;
16 months ago, by wenzelm
tuned signature, following Url.append_path;
16 months ago, by wenzelm
do not bundle Isabelle/Naproche, while it keeps changing;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified signature: uniform master_dir instead of separate field;
16 months ago, by wenzelm
more standard master_dir;
16 months ago, by wenzelm
tuned signature, following Url.append_path;
16 months ago, by wenzelm
merged
16 months ago, by wenzelm
more robust, for the sake of very rare duplicate files: src/Doc/Prog_Prove/MyList.thy and $AFP/Case_Labeling/util.ML;
16 months ago, by wenzelm
store session sources within build database: timing e.g. 150ms for HOL and < 50ms for common sessions;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tunes signature;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
more systematic Sessions.illegal_theory, based on File_Format.theory_excluded;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
unused;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified modules;
16 months ago, by wenzelm
tuned: no need to map master_dir, which does not participate in comparison;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
tuned comments;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
removed an unfortunate sledgehammer command
16 months ago, by paulson
A couple of patches
16 months ago, by paulson
Big simplifications of old proofs
16 months ago, by paulson
repaired a proof
16 months ago, by paulson
Continued proof simplifications
16 months ago, by paulson
merged
16 months ago, by paulson
A further round of proof consolidation
16 months ago, by paulson
tuned signature: avoid too many aliases;
16 months ago, by wenzelm
proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI;
16 months ago, by wenzelm
more robust: avoid detour via somewhat fragile Node.Name.path;
16 months ago, by wenzelm
clarified generic path operations;
16 months ago, by wenzelm
more flexible: implicit support for Windows;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
clarified output;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
merged
16 months ago, by paulson
More tidying
16 months ago, by paulson
Further cleaning up of messy proofs
16 months ago, by paulson
merged
16 months ago, by paulson
reorganisation and simplification of theorems about transcendental functions
16 months ago, by paulson
tuned signature;
16 months ago, by wenzelm
support asynchronous presentation commands, but not for "no_update" / "Keep", which is usually forked via "Toplevel.diag";
16 months ago, by wenzelm
tuned whitespace;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
discontinued somewhat pointless exception FAILURE with its "alt_state", which was originally due to quasi-mutable states (see 169e5b07ec06);
16 months ago, by wenzelm
tuned --- more robust ML patterns;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
merged
16 months ago, by wenzelm
tuned signature, for the sake of AFP/Isabelle_C;
16 months ago, by wenzelm
more uniform report of Markup.language_path;
16 months ago, by wenzelm
omit pointless guard: ultimately observed by Isabelle_Process.report_message;
16 months ago, by wenzelm
tuned signature;
16 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip