isabelle: Graph

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

prefer persistent hash code for cachable items (see also 72b13af7f266);
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
more operations: record overall exported entities;
22 months ago, by wenzelm
merged
22 months ago, by desharna
added dummy_fof prover to Sledgehammer
22 months ago, by desharna
fixed malconfigured option output_dir in mirabelle
22 months ago, by desharna
merged
22 months ago, by wenzelm
clarified export of formal entities: name space info is always present, but content depends on option "export_theory";
22 months ago, by wenzelm
proper name space "kind": this is a formal name, not comment;
22 months ago, by wenzelm
more uniform signatures in ML and Scala;
22 months ago, by wenzelm
merged
22 months ago, by desharna
fixed typo
22 months ago, by desharna
added dummy_thf prover to Sledgehammer
22 months ago, by desharna
simplified hierarchy of type classes for bit operations
22 months ago, by haftmann
obsolete
22 months ago, by haftmann
more operations, notably free and bound variables as in Isabelle/Pure;
22 months ago, by wenzelm
more operations on types and terms;
22 months ago, by wenzelm
clarified jEdit java sources;
22 months ago, by wenzelm
clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons;
22 months ago, by wenzelm
removed junk;
22 months ago, by wenzelm
moved theory Bit_Operations into Main corpus
22 months ago, by haftmann
more operations;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
organize syntax for word operations in bundles
22 months ago, by haftmann
support for Lazy.Text;
22 months ago, by wenzelm
prefer compact Isabelle.Bytes;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature --- more operations;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified order of modules;
22 months ago, by wenzelm
more operations;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
prefer Isabelle.Bytes, based on ShortByteString;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
tuned signature: more generic operations;
22 months ago, by wenzelm
prefer UTF8 implementation from Data.Text.Encoding (foreign C);
22 months ago, by wenzelm
documented Mirabelle_Sledgehammer's new keep semantics
22 months ago, by desharna
changed Mirabelle_Sledgehammer keep option from path to boolean
22 months ago, by desharna
added automatic uniform stride option to Mirabelle
22 months ago, by desharna
fixed HOL-ex following a5bab59d580b
22 months ago, by desharna
added support for TFX $let to Sledgehammer's TPTP output
22 months ago, by desharna
merged
22 months ago, by desharna
fixed TFX generation when universal quantifier is used as term
22 months ago, by desharna
merged
22 months ago, by wenzelm
various improvements of "isabelle scala_project";
22 months ago, by wenzelm
support for native symlinks on Windows;
22 months ago, by wenzelm
tuned Mirabelle's theory selection
22 months ago, by desharna
clarified signature;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
updated for Isabelle2021 release;
22 months ago, by wenzelm
back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);
22 months ago, by wenzelm
update to Haskell stack-2.7.3 and stackage lts-17.15;
22 months ago, by wenzelm
clarified version: Apple now counts like 11, 12, ...;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

isabelle