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.
discontinued Export.Provider in favour of Export.Context and its derivatives;
21 months ago, by wenzelm
clarified signature: less redundant -- Sessions.Base_Info already specifies the main session;
21 months ago, by wenzelm
tuned signature: more operations;
21 months ago, by wenzelm
misc tuning and clarification;
21 months ago, by wenzelm
clarified Document.Snapshot.all_exports: refer to material from this (virtual) session;
21 months ago, by wenzelm
clarified database query: refer to semantic theories;
21 months ago, by wenzelm
clarified signature: more operations;
21 months ago, by wenzelm
clarified signature: persistent theory_names in lexical order;
21 months ago, by wenzelm
proper session_databases for database_server: need to follow precise session_hierarchy;
21 months ago, by wenzelm
redundant;
21 months ago, by wenzelm
clarified signature: more robust close operation;
21 months ago, by wenzelm
more uniform exports: proper encoding of empty parents for Pure;
21 months ago, by wenzelm
clarified signature: more uniform treatment of empty exports;
21 months ago, by wenzelm
clarified session name: treat PIDE session as Sessions.DRAFT with imports from other sessions;
21 months ago, by wenzelm
more robust build_hierarchy: support Resources.empty / Sessions.Structure.empty (required for Build_Job.print_log);
21 months ago, by wenzelm
clarified context for retrieval: more explicit types, with optional close() operation;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
unused;
21 months ago, by wenzelm
retrieve information about used files;
21 months ago, by wenzelm
tuned signature -- more robust;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified signature: Export.Provider knows its (accidental) theory_names;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
21 months ago, by wenzelm
clarified signature: proper session_name for Sessions.Base (like Sessions.Info);
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
avoid multiple load_commands;
21 months ago, by wenzelm
avoid redundant dependencies.load_commands with potential errors (amending ea4f86914cb2);
21 months ago, by wenzelm
tuned signature -- avoid redundant arguments;
21 months ago, by wenzelm
tuned -- following hints by IntelliJ IDEA;
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
tuned comments;
21 months ago, by wenzelm
removed somewhat pointless transaction: db is meant to be finished (or updated monotonically);
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature: avoid repeated db_context.input_database;
21 months ago, by wenzelm
clarified signature: more robust;
21 months ago, by wenzelm
removed somewhat pointless operations (see a6c69599ab99);
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified names;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified names;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature: more explicit types;
21 months ago, by wenzelm
unused (see 0d30ea76756c);
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tuned;
21 months ago, by wenzelm
unused (see 3064e165c660);
21 months ago, by wenzelm
merge
21 months ago, by blanchet
changed the order of Zipperposition slices in Sledgehammer
21 months ago, by blanchet
merged
21 months ago, by paulson
The wellordering instantiation for length-ordered lists
21 months ago, by paulson
show sum_list defn
21 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip