isabelle: Graph

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

unused;
22 months ago, by wenzelm
more uniform operations;
22 months ago, by wenzelm
restrict to proper_session_theories;
22 months ago, by wenzelm
proper build parameters (amending d858e6f15da3);
22 months ago, by wenzelm
treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;
22 months ago, by wenzelm
more command-line options;
22 months ago, by wenzelm
tuned options --- avoid confusion with "isabelle build -b";
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
isabelle update -u path_cartouches;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
updated documentation;
22 months ago, by wenzelm
more options;
22 months ago, by wenzelm
tuned message;
22 months ago, by wenzelm
isabelle update no longer uses PIDE dump, but regular session build database: more scalable;
22 months ago, by wenzelm
more robust;
22 months ago, by wenzelm
more operations;
22 months ago, by wenzelm
proper Node.init_blobs, not just edits (amending ca872f20cf5b);
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
clarified session sources: theory and blobs are read from database, instead of physical file-system;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature: more operations;
22 months ago, by wenzelm
clarified signature: more operations;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
more direct access to session_sources, without somewhat fragile file-system operations;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
tuned signature: avoid confusion with Document.Node.Blob and Command.Blob;
22 months ago, by wenzelm
clarified signature: old node is ignored;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
final tidying of theorems
22 months ago, by paulson
merged
22 months ago, by paulson
merged
22 months ago, by paulson
continued proof simplification
22 months ago, by paulson
merged
22 months ago, by paulson
Further simplifications
22 months ago, by paulson
More tidying of proofs
22 months ago, by paulson
tuned;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
discontinued fragile operation;
22 months ago, by wenzelm
more robust operations: avoid somewhat fragile Document.Node.Name.master_dir_path;
22 months ago, by wenzelm
tuned whitespace;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
avoid somewhat fragile Document.Node.Name.master_dir_path;
22 months ago, by wenzelm
clarified signature: avoid somewhat fragile Document.Node.Name.master_dir_path;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified master_dir: avoid somewhat fragile Document.Node.Name.master_dir_path;
22 months ago, by wenzelm
tuned signature: avoid too many aliases (see also 72daee8a39ca);
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
merged
22 months ago, by desharna
strengthened and renamed lemmas asym_on_iff_irrefl_on_if_trans and asymp_on_iff_irreflp_on_if_transp
23 months ago, by desharna
Fixed a couple of simple_path occurrences
22 months ago, by paulson
merged
22 months ago, by paulson
Tidying up of paths, introducing "loop_free" as a separate predicate in the definition of "simple_path"
22 months ago, by paulson
clarified signature: more explicit types;
22 months ago, by wenzelm
more robust: prefer internal theory names;
22 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

isabelle