isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 tip

proper Isabelle/Scala tool --- avoid perl;
2021-03-09, by wenzelm
generalized confluence-based subdistributivity theorem for quotients;
2021-03-09, by traytel
Backed out changeset 3fdb94d87e0e
2021-03-09, by desharna
Backed out changeset b867b436f372
2021-03-09, by desharna
reduced dependencies on List_Permutation
2021-03-07, by haftmann
follow corresponding precedence on sets
2021-03-07, by haftmann
consolidated names
2021-03-06, by haftmann
reduced dependencies on theory List_Permutation
2021-03-06, by haftmann
obsolete (see f3378101f555);
2021-03-05, by wenzelm
merged
2021-03-05, by wenzelm
more direct unlimited smt_timeout;
2021-03-05, by wenzelm
clarified smt: support Timeout.ignored and Timeout.scale_time;
2021-03-05, by wenzelm
clarified timeouts in Isabelle/ML;
2021-03-05, by wenzelm
tuned --- more elementary Time operations;
2021-03-05, by wenzelm
removed unused/pointless operation: Time.start is the load/init time of this Scala module;
2021-03-05, by wenzelm
obsolete;
2021-03-05, by wenzelm
clarified signature --- augment existing structure Time;
2021-03-05, by wenzelm
rebuild SMT certificates from scratch;
2021-03-05, by wenzelm
added lemmas (sublist|prefix|suffix)_list_all
2021-03-05, by desharna
added lemmas takeWhile_is_prefix, suffix_dropWhile, and sublist_(take|drop)While
2021-03-05, by desharna
added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI
2021-03-05, by desharna
typo
2021-03-05, by haftmann
merged
2021-03-05, by desharna
added upper bound on monomorphisation duplicate instances
2021-03-04, by desharna
tuned best_slices in atp_config
2021-03-04, by desharna
tuned exec field in atp_config
2021-03-04, by desharna
removed junk;
2021-03-04, by wenzelm
tuned proofs;
2021-03-04, by wenzelm
enforce full build, after significant changes in Isabelle/Scala;
2021-03-04, by wenzelm
clarified compiler options: show relevant warnings;
2021-03-04, by wenzelm
tuned --- avoid compiler warnings;
2021-03-04, by wenzelm
clarified signature --- fewer warnings;
2021-03-04, by wenzelm
clarified signature --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
more robust ordering (see also 88c96e836ed6);
2021-03-04, by wenzelm
proper scala.collection.immutable;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-04, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
more robust error;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
tuned --- fewer warnings;
2021-03-03, by wenzelm
updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
2021-03-03, by wenzelm
slightly more efficient Term.fastype_of (only little impact in regular applications);
2021-03-03, by wenzelm
reduced dependencies on theory List_Permutation
2021-03-02, by haftmann
Merge
2021-03-01, by paulson
reverted simprule status on a new lemma
2021-03-01, by paulson
merged
2021-03-01, by paulson
tiny bit of lemma hacking
2021-03-01, by paulson
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- avoid deprecated conversions between certain number type;
2021-03-01, by wenzelm
tuned --- avoid deprecated Predef.any2stringadd;
2021-03-01, by wenzelm
tuned --- silence odd warning;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
tuned --- fewer warnings;
2021-03-01, by wenzelm
clarified signature, according to Isabelle/Scala;
2021-03-01, by wenzelm
download more directly, via means of JVM;
2021-03-01, by wenzelm
download on separate thread;
2021-03-01, by wenzelm
clarified signature;
2021-03-01, by wenzelm
tuned;
2021-03-01, by wenzelm
proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
2021-03-01, by wenzelm
tuned signature;
2021-03-01, by wenzelm
NEWS
2021-03-01, by haftmann
lemma diffusion
2021-02-28, by haftmann
more connections between mset _ = mset _ and permutations
2021-02-28, by haftmann
dissolve theory with duplicated name from afp
2021-02-28, by haftmann
more robust (amending 87403fde8cc3): notably allow symlink to existing directory, which Files.createDirectories does not accept;
2021-02-28, by wenzelm
more Isabelle/ML/Scala operations;
2021-02-27, by wenzelm
more Isabelle/ML/Scala operations;
2021-02-27, by wenzelm
more Isabelle/ML/Scala operations;
2021-02-27, by wenzelm
proper src1, amending 20157c8ab3f3;
2021-02-27, by wenzelm
tuned;
2021-02-27, by wenzelm
proper File.eq, amending df49ca5da9d0;
2021-02-27, by wenzelm
tuned;
2021-02-27, by wenzelm
clarified modules: more like ML;
2021-02-27, by wenzelm
obsolete;
2021-02-27, by wenzelm
tuned;
2021-02-27, by wenzelm
more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
2021-02-27, by wenzelm
discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working;
2021-02-27, by wenzelm
more checks;
2021-02-27, by wenzelm
clarified message;
2021-02-27, by wenzelm
clarified message;
2021-02-27, by wenzelm
clarified comments;
2021-02-27, by wenzelm
clarified message;
2021-02-27, by wenzelm
improved list_neq simproc
2021-02-26, by nipkow
merged
2021-02-25, by haftmann
repaired document
2021-02-24, by haftmann
merged
2021-02-24, by paulson
merged
2021-02-24, by paulson
A couple of basic lemmas about arg
2021-02-24, by paulson
multiset as equivalence class of permuted lists
2021-02-24, by haftmann
emphasize connection to multisets
2021-02-24, by haftmann
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
2021-02-24, by wenzelm
more on Isabelle_System.bash;
2021-02-23, by wenzelm
more specific name
2021-02-23, by haftmann
more lemmas
2021-02-23, by haftmann
dropped obscure FIXME
2021-02-23, by haftmann
proper usage of hypotheses for zipperposition's TPTP generation
2021-02-23, by desharna
merged
2021-02-23, by desharna
tuned Mirabelle to parse option check_trivial only once
2021-02-19, by desharna
merged
2021-02-15, by desharna
merged
2021-02-12, by desharna
added stride option to Mirabelle
2021-02-12, by desharna
proper prover capabilities for zipperposition
2021-02-12, by desharna
NEWS;
2021-02-22, by wenzelm
merged
2021-02-22, by wenzelm
clarified uses of Isabelle_System.bash_process: more checks, fewer messages;
2021-02-22, by wenzelm
tuned signature;
2021-02-22, by wenzelm
more direct timing from bash_process wrapper;
2021-02-22, by wenzelm
tuned;
2021-02-22, by wenzelm
clarified signature, following Isabelle/Scala;
2021-02-22, by wenzelm
tuned;
2021-02-22, by wenzelm