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.
clarified signature;
20 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
20 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned signature, following hints by IntelliJ IDEA;
20 months ago, by wenzelm
added support for cvc5 (whose interface is almost identical to CVC4)
20 months ago, by blanchet
removing the [simp] attribute breaks too many AFP entries severely
20 months ago, by nipkow
nlists is picked up automatically but conflicts with the RBT setup
20 months ago, by nipkow
new lemma
20 months ago, by nipkow
merged
20 months ago, by nipkow
New theory of fixed length lists
20 months ago, by nipkow
Further streamlining of quick-and-dirty evaluation.
20 months ago, by haftmann
more correct approximation (contributed by Achim Brucker)
21 months ago, by Achim D. Brucker
Added tag Isabelle2022-RC0 for changeset b42e20adaeed
20 months ago, by wenzelm
proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);
20 months ago, by wenzelm
clarified message;
20 months ago, by wenzelm
provide naproche-20220808 (inactive);
20 months ago, by wenzelm
more robust data representation: notably for Store.read_session_timing with database_server;
20 months ago, by wenzelm
tuned message;
20 months ago, by wenzelm
afford default cache policy, despite 6a29709906c6;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified signature: more uniform treatment of cache for Export.read_session vs. Export.read_theory;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified message;
20 months ago, by wenzelm
clarified signature: prefer Export.Session_Context over Sessions.Database_Context;
20 months ago, by wenzelm
clarified signature: prefer Export.Context;
20 months ago, by wenzelm
clarified signature: find session_database within Session_Context.db_hierarchy;
20 months ago, by wenzelm
clarified signature: prefer Export.Session_Context;
20 months ago, by wenzelm
prefer Export.Context/Session_Context/Theory_Context over Sessions.Database_Context;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tuned signature, following hints by IntelliJ IDEA;
21 months ago, by wenzelm
clarified signature: more robust treatment of server;
21 months ago, by wenzelm
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip