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.
more robust;
18 months ago, by wenzelm
proper build_progress for local messages;
18 months ago, by wenzelm
proper SQL query;
18 months ago, by wenzelm
Another tranche of HOL Light material on metric and topological spaces
18 months ago, by paulson
merged
18 months ago, by paulson
EXPERIMENTAL replacement of f ` A <= B by f : A -> B in Analysis
18 months ago, by paulson
merged
18 months ago, by wenzelm
more robust "stop": further "stamp" ticks may happen afterwards;
18 months ago, by wenzelm
removed junk;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned: prefer Scala over Java;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
more SQL data;
18 months ago, by wenzelm
add proof method "order" to command "try0"
18 months ago, by desharna
tuned signature;
18 months ago, by wenzelm
clarified static Build_Process.Context vs. dynamic Build_Process.State;
18 months ago, by wenzelm
tuned signature: more operations;
18 months ago, by wenzelm
clarified signature: proper equals/hashCode;
18 months ago, by wenzelm
more robust database setup;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
New theory Leftist_Heap_List
18 months ago, by nipkow
added [simp]
18 months ago, by nipkow
merged
18 months ago, by wenzelm
proper build_master.build_uuid;
18 months ago, by wenzelm
proper session_init *after* deleting db files (amending af6c493b0441);
18 months ago, by wenzelm
clarified signature: more concise data;
18 months ago, by wenzelm
tuned output;
18 months ago, by wenzelm
more robust;
18 months ago, by wenzelm
clarified signature: better default;
18 months ago, by wenzelm
show only active builds;
18 months ago, by wenzelm
clarified output;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
support for identified builds;
18 months ago, by wenzelm
clarified signature: more operations and options;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
more robust close() after failed initialization;
18 months ago, by wenzelm
avoid repeated open_database_server: synchronized transaction_lock;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
more robust: proper transaction_lock;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified signature: more options;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified database for heaps: do not depend on build_database_test;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
More metric space material
18 months ago, by paulson
merged
18 months ago, by paulson
New and generalised analysis lemmas
18 months ago, by paulson
tuned names
18 months ago, by nipkow
clarified signature: prefer explicit combinator;
19 months ago, by wenzelm
unused;
19 months ago, by wenzelm
restore heaps from database, which takes precedence over file-system;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
more operations;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
more robust try-finally;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
proper clean_entry;
19 months ago, by wenzelm
afford larger build_database_slice for better compression (HOL: 1 slice, HOL-Proofs: multiple slices for testing);
19 months ago, by wenzelm
prefer system option;
19 months ago, by wenzelm
clarified signature: more explicit class SQL.Data;
19 months ago, by wenzelm
proper ML_Heap.clean_entry;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
store heaps within database server;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals;
19 months ago, by Mathias Fleury
merged
19 months ago, by wenzelm
proper close;
19 months ago, by wenzelm
separate host.db for independent db.transaction_lock;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
omit redundant data: already stored in progress database;
19 months ago, by wenzelm
tuned signature: more operations;
19 months ago, by wenzelm
proper support for SQLite: avoid conflicts on transaction_lock;
19 months ago, by wenzelm
minor performance tuning: avoid external process;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
obsolete;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
proper pattern (amending da5cc332ded3);
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
proper hostname from build_context;
19 months ago, by wenzelm
prefer Database_Progress, which is more robust (amending afb1a19307c4);
19 months ago, by wenzelm
support for Database_Progress;
19 months ago, by wenzelm
tuned signature: more operations;
19 months ago, by wenzelm
tuned signature: more operations;
19 months ago, by wenzelm
tuned signature: more operations;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
optional description in Eisbach "method" command;
19 months ago, by kleing
disable 'falsify' and 'abduce' in Sledgehammer by default, since they don't seem to be very useful in practice
19 months ago, by blanchet
Added tag Isabelle2023-RC0 for changeset f4221ae7544c
19 months ago, by wenzelm
updated to zstd-jni-1.5.5-4;
19 months ago, by wenzelm
updated to postgresql-42.6.0;
19 months ago, by wenzelm
back to more concise build_release, thanks to build_host_macos = "mini3";
19 months ago, by wenzelm
more PLATFORMS;
19 months ago, by wenzelm
updated for release;
19 months ago, by wenzelm
tuned NEWS;
19 months ago, by wenzelm
more realistic factor;
19 months ago, by wenzelm
proper trim_context;
19 months ago, by wenzelm
proper exception positions;
19 months ago, by wenzelm
proper trim_context / transfer, e.g. for Specification.definition;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature: more operations;
19 months ago, by wenzelm
minor performance tuning: avoid append to end-of-list;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip