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.
reflect moved theories
19 months ago, by nipkow
unhide canonical function def examples
19 months ago, by nipkow
merged
19 months ago, by nipkow
merged
19 months ago, by nipkow
Backed out changeset fe8d0f4da0e6
21 months ago, by nipkow
more Isabelle/Haskell operations;
19 months ago, by wenzelm
more Isabelle/Haskell operations;
19 months ago, by wenzelm
more Isabelle/Haskell operations;
19 months ago, by wenzelm
more Isabelle/Haskell operations;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
minor performance tuning;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
treat Symbol.eof as in ML (but: presently unused);
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
minor performance tuning;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
proper Isabelle symbol positions;
19 months ago, by wenzelm
more Haskell operations;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature: prefer existing Haskell operations;
19 months ago, by wenzelm
more Haskell operations;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
consolidation of rules for bit operations
19 months ago, by haftmann
fixed $ite syntax in TPTP TFX generation
19 months ago, by desharna
more Haskell operations;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
revert 0faa68dedce5: very slow;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
add/rename some theorems about Map(pings)
19 months ago, by Lukas Stevens
support configuration options "show_results";
19 months ago, by wenzelm
consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;
19 months ago, by wenzelm
merged
19 months ago, by desharna
fixed $ite syntax in TPTP THX generation
19 months ago, by desharna
tuned signature;
19 months ago, by wenzelm
more scalable data structures;
19 months ago, by wenzelm
more scalable data structures;
19 months ago, by wenzelm
more scalable data structures;
19 months ago, by wenzelm
proper position information for Context.theory_data_size;
19 months ago, by wenzelm
provide bash_process server for Isabelle/ML and other external programs;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
proper prover_options for batch-build;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature: more options for bash_process;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
follow phabricator 2021 Week 26;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip