Mercurial
Mercurial
>
repos
>
testboard
/ 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.
tuned signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
unused;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax
draft
19 months ago, by blanchet
merged
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
type classes for XML data representation;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified types: prefer Isabelle byte strings;
19 months ago, by wenzelm
merged
19 months ago, by desharna
more operations: dest binders;
19 months ago, by wenzelm
fixed $ite syntax in TPTP THX generation
draft
19 months ago, by desharna
added option labels to Mirabelle actions
19 months ago, by desharna
clarified abstract and concrete boolean algebras
19 months ago, by haftmann
antiquotation for bundles
19 months ago, by haftmann
prefer persistent hash code for cachable items (see also 72b13af7f266);
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
more operations: record overall exported entities;
19 months ago, by wenzelm
merged
19 months ago, by desharna
merged
19 months ago, by wenzelm
clarified export of formal entities: name space info is always present, but content depends on option "export_theory";
19 months ago, by wenzelm
proper name space "kind": this is a formal name, not comment;
19 months ago, by wenzelm
more uniform signatures in ML and Scala;
19 months ago, by wenzelm
tuned Mirabelle's output subdirectories
draft
19 months ago, by desharna
added dummy_fof prover to Sledgehammer
19 months ago, by desharna
fixed malconfigured option output_dir in mirabelle
19 months ago, by desharna
merged
19 months ago, by desharna
simplified hierarchy of type classes for bit operations
19 months ago, by haftmann
obsolete
19 months ago, by haftmann
more operations, notably free and bound variables as in Isabelle/Pure;
19 months ago, by wenzelm
tuned Mirabelle's output subdirectories
draft
19 months ago, by desharna
added dummy_fof prover to Sledgehammer
draft
19 months ago, by desharna
fixed malconfigured option output_dir in mirabelle
draft
19 months ago, by desharna
fixed typo
19 months ago, by desharna
added dummy_thf prover to Sledgehammer
19 months ago, by desharna
more operations on types and terms;
19 months ago, by wenzelm
clarified jEdit java sources;
19 months ago, by wenzelm
clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons;
19 months ago, by wenzelm
removed junk;
19 months ago, by wenzelm
moved theory Bit_Operations into Main corpus
19 months ago, by haftmann
more operations;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
organize syntax for word operations in bundles
19 months ago, by haftmann
support for Lazy.Text;
19 months ago, by wenzelm
prefer compact Isabelle.Bytes;
19 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
clarified signature --- more operations;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified order of modules;
20 months ago, by wenzelm
more operations;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
prefer Isabelle.Bytes, based on ShortByteString;
20 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip