Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-240
+240
+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.
clarified signature;
2021-09-09, by wenzelm
more robust: client could have terminated already;
2021-09-09, by wenzelm
clarified signature;
2021-09-09, by wenzelm
clarified signature;
2021-09-09, by wenzelm
clarified modules;
2021-09-09, by wenzelm
clarified set of items with order of addition;
2021-09-09, by wenzelm
tuned message;
2021-09-09, by wenzelm
tuned whitespace;
2021-09-09, by wenzelm
clarified signature;
2021-09-09, by wenzelm
tuned;
2021-09-09, by wenzelm
simplified: uniqueness check happens in export_consumer;
2021-09-08, by wenzelm
more markup, e.g. to locate defining theory node in formal document output;
2021-09-07, by wenzelm
tuned signature;
2021-09-07, by wenzelm
export other entities, e.g. relevant for formal document output;
2021-09-07, by wenzelm
pointer_eq_ord: minor performance tuning;
2021-09-07, by wenzelm
more robust: progress.stopped means that build has failed;
2021-09-07, by wenzelm
more reactive interrupt;
2021-09-07, by wenzelm
more reactive interrupt;
2021-09-07, by wenzelm
more robust: retain length of results;
2021-09-07, by wenzelm
more reactive interrupt;
2021-09-07, by wenzelm
tuned signature;
2021-09-07, by wenzelm
tuned signature;
2021-09-07, by wenzelm
tuned signature;
2021-09-07, by wenzelm
tuned;
2021-09-07, by wenzelm
merged
2021-09-07, by wenzelm
clarified modules;
2021-09-06, by wenzelm
more scalable operations;
2021-09-06, by wenzelm
more scalable operations;
2021-09-06, by wenzelm
tuned;
2021-09-06, by wenzelm
clarified modules;
2021-09-06, by wenzelm
clarified signature;
2021-09-06, by wenzelm
more scalable operations;
2021-09-06, by wenzelm
unused;
2021-09-06, by wenzelm
more efficient operations: traverse hyps only when required;
2021-09-06, by wenzelm
more robust signature: result has no particular order;
2021-09-05, by wenzelm
more scalable operations;
2021-09-05, by wenzelm
unused;
2021-09-05, by wenzelm
more scalable operations;
2021-09-05, by wenzelm
clarified;
2021-09-04, by wenzelm
tuned signature;
2021-09-04, by wenzelm
clarified signature;
2021-09-04, by wenzelm
more scalable operations;
2021-09-04, by wenzelm
clarified signature;
2021-09-04, by wenzelm
tuned signature;
2021-09-04, by wenzelm
more scalable operations;
2021-09-04, by wenzelm
more scalable operations;
2021-09-04, by wenzelm
more scalable operations;
2021-09-04, by wenzelm
more scalable operations;
2021-09-04, by wenzelm
white space
2021-09-04, by paulson
merged
2021-09-03, by paulson
some fixes connected with card_Diff_singleton
2021-09-03, by paulson
strengthened a few lemmas about finite sets and added a code equation for complex_of_real
2021-09-03, by paulson
tuned;
2021-09-03, by wenzelm
proper inst table;
2021-09-03, by wenzelm
more scalable data structure (but: rarely used many arguments);
2021-09-03, by wenzelm
minor performance tuning: fewer allocations;
2021-09-03, by wenzelm
tuned;
2021-08-31, by wenzelm
more Isabelle/Haskell operations;
2021-08-30, by wenzelm
more Isabelle/Haskell operations;
2021-08-30, by wenzelm
avoid change of existing file, notably rebuild via ghc_stack;
2021-08-30, by wenzelm
tuned signature;
2021-08-30, by wenzelm
more Isabelle/Haskell operations;
2021-08-29, by wenzelm
clarified process description;
2021-08-29, by wenzelm
more Isabelle/Haskell operations;
2021-08-28, by wenzelm
clarified signature;
2021-08-28, by wenzelm
more Isabelle/Haskell;
2021-08-27, by wenzelm
made sure lambda-lifting works well with native let binders in Sledgehammer
2021-08-27, by blanchet
handle Zipperposition's ResourceOut gracefully
2021-08-27, by blanchet
disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax
2021-08-27, by blanchet
proper test for type constructor;
2021-08-26, by wenzelm
more Isabelle/Haskell operations;
2021-08-26, by wenzelm
more Isabelle/Haskell operations;
2021-08-26, by wenzelm
merged
2021-08-26, by wenzelm
tuned;
2021-08-26, by wenzelm
more scalable data structure (but: rarely used with > 5 arguments);
2021-08-26, by wenzelm
Backed out changeset d4af818e0880
2021-08-26, by Kevin Kappelmann
merged
2021-08-25, by wenzelm
more Isabelle/Haskell operations;
2021-08-25, by wenzelm
more Isabelle/Haskell operations;
2021-08-25, by wenzelm
tuned;
2021-08-25, by wenzelm
more Isabelle/Haskell operations;
2021-08-25, by wenzelm
reflect moved theories
2021-08-25, by nipkow
unhide canonical function def examples
2021-08-25, by nipkow
merged
2021-08-25, by nipkow
merged
2021-08-18, by nipkow
Backed out changeset fe8d0f4da0e6
2021-07-09, by nipkow
more Isabelle/Haskell operations;
2021-08-25, by wenzelm
more Isabelle/Haskell operations;
2021-08-24, by wenzelm
more Isabelle/Haskell operations;
2021-08-24, by wenzelm
more Isabelle/Haskell operations;
2021-08-24, by wenzelm
clarified signature;
2021-08-24, by wenzelm
clarified signature;
2021-08-24, by wenzelm
minor performance tuning;
2021-08-24, by wenzelm
tuned;
2021-08-24, by wenzelm
tuned;
2021-08-24, by wenzelm
tuned signature;
2021-08-24, by wenzelm
tuned comments;
2021-08-24, by wenzelm
treat Symbol.eof as in ML (but: presently unused);
2021-08-23, by wenzelm
tuned;
2021-08-23, by wenzelm
minor performance tuning;
2021-08-23, by wenzelm
clarified signature;
2021-08-23, by wenzelm
proper Isabelle symbol positions;
2021-08-23, by wenzelm
more Haskell operations;
2021-08-23, by wenzelm
clarified signature;
2021-08-23, by wenzelm
tuned;
2021-08-23, by wenzelm
tuned;
2021-08-23, by wenzelm
tuned signature: prefer existing Haskell operations;
2021-08-22, by wenzelm
more Haskell operations;
2021-08-22, by wenzelm
tuned signature;
2021-08-22, by wenzelm
tuned comments;
2021-08-22, by wenzelm
tuned;
2021-08-22, by wenzelm
consolidation of rules for bit operations
2021-08-21, by haftmann
fixed $ite syntax in TPTP TFX generation
2021-08-20, by desharna
more Haskell operations;
2021-08-19, by wenzelm
merged
2021-08-19, by wenzelm
revert 0faa68dedce5: very slow;
2021-08-19, by wenzelm
tuned;
2021-08-19, by wenzelm
add/rename some theorems about Map(pings)
2021-08-19, by Lukas Stevens
support configuration options "show_results";
2021-08-18, by wenzelm
consolidate_body more thoroughly, e.g. for reduced ML_Heap.obj_size;
2021-08-18, by wenzelm
merged
2021-08-16, by desharna
fixed $ite syntax in TPTP THX generation
2021-08-16, by desharna
tuned signature;
2021-08-16, by wenzelm
more scalable data structures;
2021-08-16, by wenzelm
more scalable data structures;
2021-08-16, by wenzelm
more scalable data structures;
2021-08-16, by wenzelm
proper position information for Context.theory_data_size;
2021-08-15, by wenzelm
provide bash_process server for Isabelle/ML and other external programs;
2021-08-12, by wenzelm
clarified signature;
2021-08-12, by wenzelm
clarified signature;
2021-08-12, by wenzelm
proper prover_options for batch-build;
2021-08-12, by wenzelm
clarified signature;
2021-08-12, by wenzelm
clarified signature: more options for bash_process;
2021-08-07, by wenzelm
tuned signature;
2021-08-07, by wenzelm
clarified signature;
2021-08-07, by wenzelm
clarified signature;
2021-08-07, by wenzelm
follow phabricator 2021 Week 26;
2021-08-07, by wenzelm
tuned signature;
2021-08-06, by wenzelm
tuned;
2021-08-06, by wenzelm
clarified signature;
2021-08-06, by wenzelm
clarified signature;
2021-08-06, by wenzelm
unused;
2021-08-06, by wenzelm
clarified signature;
2021-08-06, by wenzelm
merged
2021-08-05, by wenzelm
clarified modules;
2021-08-05, by wenzelm
type classes for XML data representation;
2021-08-05, by wenzelm
tuned signature;
2021-08-05, by wenzelm
clarified types: prefer Isabelle byte strings;
2021-08-05, by wenzelm
merged
2021-08-05, by desharna
added option labels to Mirabelle actions
2021-08-05, by desharna
more operations: dest binders;
2021-08-05, by wenzelm
clarified abstract and concrete boolean algebras
2021-08-05, by haftmann
antiquotation for bundles
2021-08-05, by haftmann
prefer persistent hash code for cachable items (see also 72b13af7f266);
2021-08-04, by wenzelm
merged
2021-08-04, by wenzelm
more operations: record overall exported entities;
2021-08-04, by wenzelm
merged
2021-08-04, by desharna
added dummy_fof prover to Sledgehammer
2021-08-04, by desharna
fixed malconfigured option output_dir in mirabelle
2021-08-03, by desharna
merged
2021-08-04, by wenzelm
clarified export of formal entities: name space info is always present, but content depends on option "export_theory";
2021-08-04, by wenzelm
proper name space "kind": this is a formal name, not comment;
2021-08-03, by wenzelm
more uniform signatures in ML and Scala;
2021-08-03, by wenzelm
merged
2021-08-04, by desharna
fixed typo
2021-08-03, by desharna
added dummy_thf prover to Sledgehammer
2021-08-03, by desharna
simplified hierarchy of type classes for bit operations
2021-08-03, by haftmann
obsolete
2021-08-03, by haftmann
more operations, notably free and bound variables as in Isabelle/Pure;
2021-08-03, by wenzelm
more operations on types and terms;
2021-08-02, by wenzelm
clarified jEdit java sources;
2021-08-02, by wenzelm
clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons;
2021-08-02, by wenzelm
removed junk;
2021-08-02, by wenzelm
moved theory Bit_Operations into Main corpus
2021-08-02, by haftmann
more operations;
2021-08-01, by wenzelm
clarified signature;
2021-08-01, by wenzelm
clarified signature;
2021-08-01, by wenzelm
organize syntax for word operations in bundles
2021-08-01, by haftmann
support for Lazy.Text;
2021-07-31, by wenzelm
prefer compact Isabelle.Bytes;
2021-07-31, by wenzelm
clarified signature;
2021-07-31, by wenzelm
clarified signature --- more operations;
2021-07-31, by wenzelm
tuned;
2021-07-31, by wenzelm
clarified order of modules;
2021-07-31, by wenzelm
more operations;
2021-07-31, by wenzelm
tuned;
2021-07-31, by wenzelm
clarified signature;
2021-07-30, by wenzelm
tuned signature;
2021-07-30, by wenzelm
clarified signature;
2021-07-30, by wenzelm
merged
2021-07-30, by wenzelm
prefer Isabelle.Bytes, based on ShortByteString;
2021-07-28, by wenzelm
tuned;
2021-07-28, by wenzelm
tuned signature;
2021-07-28, by wenzelm
tuned signature: more generic operations;
2021-07-28, by wenzelm
prefer UTF8 implementation from Data.Text.Encoding (foreign C);
2021-07-28, by wenzelm
documented Mirabelle_Sledgehammer's new keep semantics
2021-07-29, by desharna
changed Mirabelle_Sledgehammer keep option from path to boolean
2021-07-28, by desharna
added automatic uniform stride option to Mirabelle
2021-07-28, by desharna
fixed HOL-ex following a5bab59d580b
2021-07-28, by desharna
added support for TFX $let to Sledgehammer's TPTP output
2021-07-27, by desharna
merged
2021-07-27, by desharna
fixed TFX generation when universal quantifier is used as term
2021-07-27, by desharna
merged
2021-07-27, by wenzelm
various improvements of "isabelle scala_project";
2021-07-27, by wenzelm
support for native symlinks on Windows;
2021-07-27, by wenzelm
tuned Mirabelle's theory selection
2021-07-27, by desharna
clarified signature;
2021-07-26, by wenzelm
clarified signature;
2021-07-26, by wenzelm
updated for Isabelle2021 release;
2021-07-25, by wenzelm
back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);
2021-07-25, by wenzelm
update to Haskell stack-2.7.3 and stackage lts-17.15;
2021-07-25, by wenzelm
clarified version: Apple now counts like 11, 12, ...;
2021-07-25, by wenzelm
clarified signature;
2021-07-24, by wenzelm
clarified compiler output: allow multithreaded execution;
2021-07-24, by wenzelm
clarified signature: more operations;
2021-07-24, by wenzelm
clarified props: more permissive;
2021-07-24, by wenzelm
more robust;
2021-07-24, by wenzelm
clarified properties: "module" and "no_build";
2021-07-24, by wenzelm
clarified signature;
2021-07-24, by wenzelm
clarified signature;
2021-07-24, by wenzelm
tuned comments;
2021-07-24, by wenzelm
tuned document;
2021-07-24, by wenzelm
clarified names (again), e.g. relevant for "Plugin Options";
2021-07-23, by wenzelm
added simp_options to meson
2021-07-22, by desharna
tuning
2021-07-19, by blanchet
parse TPTP operator @ also when not parenthesized
2021-07-19, by blanchet
removed setup for outdated CVC3 from Isabelle
2021-07-19, by blanchet
tuned E's lambda encoding
2021-07-19, by blanchet
use Vampire's clausifier with iProver, now that E's is no longer supported
2021-07-19, by blanchet
updated Sledgehammer docs -- removed most version numbers since these are tedious to maintain
2021-07-19, by blanchet
compile
2021-07-19, by blanchet
tuned;
2021-07-18, by wenzelm
NEWS;
2021-07-18, by wenzelm
updated documentation on Isabelle/Scala;
2021-07-18, by wenzelm
discontinued obsolete Apple (deprecated);
2021-07-18, by wenzelm
clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L");
2021-07-18, by wenzelm
more robust "isabelle build_scala" as separate tool;
2021-07-18, by wenzelm
tuned --- based on hints by IntelliJ IDEA;
2021-07-17, by wenzelm
more robust: avoid -D ~~/AFP/thys after crash of AFP.init (notably in AFP/1001c0dfced0);
2021-07-17, by wenzelm
more portable across history;
2021-07-17, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-240
+240
+1000
+3000
tip