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
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.
unused;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
clarified modules;
12 months ago, by wenzelm
type classes for XML data representation;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
clarified types: prefer Isabelle byte strings;
12 months ago, by wenzelm
merged
12 months ago, by desharna
added option labels to Mirabelle actions
12 months ago, by desharna
more operations: dest binders;
12 months ago, by wenzelm
clarified abstract and concrete boolean algebras
12 months ago, by haftmann
antiquotation for bundles
12 months ago, by haftmann
prefer persistent hash code for cachable items (see also 72b13af7f266);
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
more operations: record overall exported entities;
12 months ago, by wenzelm
merged
12 months ago, by desharna
added dummy_fof prover to Sledgehammer
12 months ago, by desharna
fixed malconfigured option output_dir in mirabelle
12 months ago, by desharna
merged
12 months ago, by wenzelm
clarified export of formal entities: name space info is always present, but content depends on option "export_theory";
12 months ago, by wenzelm
proper name space "kind": this is a formal name, not comment;
12 months ago, by wenzelm
more uniform signatures in ML and Scala;
12 months ago, by wenzelm
merged
12 months ago, by desharna
fixed typo
12 months ago, by desharna
added dummy_thf prover to Sledgehammer
12 months ago, by desharna
simplified hierarchy of type classes for bit operations
12 months ago, by haftmann
obsolete
12 months ago, by haftmann
more operations, notably free and bound variables as in Isabelle/Pure;
12 months ago, by wenzelm
more operations on types and terms;
12 months ago, by wenzelm
clarified jEdit java sources;
12 months ago, by wenzelm
clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons;
12 months ago, by wenzelm
removed junk;
12 months ago, by wenzelm
moved theory Bit_Operations into Main corpus
12 months ago, by haftmann
more operations;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
organize syntax for word operations in bundles
12 months ago, by haftmann
support for Lazy.Text;
12 months ago, by wenzelm
prefer compact Isabelle.Bytes;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
clarified signature --- more operations;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified order of modules;
12 months ago, by wenzelm
more operations;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
clarified signature;
12 months ago, by wenzelm
merged
12 months ago, by wenzelm
prefer Isabelle.Bytes, based on ShortByteString;
12 months ago, by wenzelm
tuned;
12 months ago, by wenzelm
tuned signature;
12 months ago, by wenzelm
tuned signature: more generic operations;
12 months ago, by wenzelm
prefer UTF8 implementation from Data.Text.Encoding (foreign C);
12 months ago, by wenzelm
documented Mirabelle_Sledgehammer's new keep semantics
12 months ago, by desharna
changed Mirabelle_Sledgehammer keep option from path to boolean
12 months ago, by desharna
added automatic uniform stride option to Mirabelle
12 months ago, by desharna
fixed HOL-ex following a5bab59d580b
12 months ago, by desharna
added support for TFX $let to Sledgehammer's TPTP output
12 months ago, by desharna
merged
12 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
tip