isabelle: Graph

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

merge
2022-04-01, by blanchet
tuned slices to get the fifth Zipperposition slice in a typical run
2022-04-01, by blanchet
merged
2022-04-01, by desharna
tuned sledgehammer documentation
2022-04-01, by desharna
tuned spelling;
2022-04-01, by wenzelm
merged
2022-04-01, by wenzelm
updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
2022-04-01, by wenzelm
clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
2022-04-01, by wenzelm
tuned: eliminted do-while for the sake of scala3;
2022-03-31, by wenzelm
prefer scala 3.0.x, for option "-source 3.0-migration";
2022-03-31, by wenzelm
tuned: avoid problems with scala3;
2022-03-31, by wenzelm
tuned: avoid problems with scala3;
2022-03-31, by wenzelm
provide SCALA_INTERFACES for isabelle_setup;
2022-03-30, by wenzelm
build Isabelle Scala component from official downloads (for scala-3.1.1);
2022-03-26, by wenzelm
added documentation
2022-04-01, by desharna
merged
2022-04-01, by desharna
tuned sledehammer to return best succeeding preplay method
2022-03-31, by desharna
expanded sledgehammer's expect option with some_preplayed
2022-03-30, by desharna
added preplay results to sledgehammer_output
2022-03-29, by desharna
tuned sledgehammer to suggest (smt (verit)) on failing smt preplay for all but Z3
2022-03-31, by desharna
further tweaked E's setup
2022-03-31, by blanchet
tweaked E setup
2022-03-31, by blanchet
merged
2022-03-29, by desharna
post-merged into new Lethe code
2022-03-29, by desharna
merged
2022-03-29, by desharna
fixed generation of Isar proofs e89709b80b6e
2022-03-28, by desharna
NEWS and CONTRIBUTORS
2022-03-29, by haftmann
nicer TPTP output
2022-03-29, by blanchet
regenerated
2022-03-29, by haftmann
tighter check to ensure that patterns remain left-linear, previous implementation was overcautious
2022-03-29, by haftmann
tuned
2022-03-29, by haftmann
tuned
2022-03-29, by haftmann
separated treatment of undefined bodys
2022-03-28, by haftmann
tuned arguments
2022-03-28, by haftmann
modernized handling of variables
2022-03-28, by haftmann
structurally tuned
2022-03-27, by haftmann
tuned names
2022-03-27, by haftmann
prefer build combinator
2022-03-27, by haftmann
tuned whitespace
2022-03-27, by haftmann
proper option argument;
2022-03-25, by wenzelm
prefer Isabelle shasum over the old command-line tool with its extra marker character;
2022-03-25, by wenzelm
tuned signature;
2022-03-25, by wenzelm
tuned signature;
2022-03-25, by wenzelm
tuned text, without update of component for now;
2022-03-25, by wenzelm
omit somewhat pointless integrity check;
2022-03-25, by wenzelm
tuned;
2022-03-25, by wenzelm
compile TPTP module
2022-03-25, by blanchet
compile mirabelle
2022-03-25, by blanchet
further modernized E setup
2022-03-25, by blanchet
cleaned up obsolete E setup and a bit of SPASS
2022-03-25, by blanchet
second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size
2022-03-25, by blanchet
first step in making time slicing more flexible in Sledgehammer: label slices with 'slice size'
2022-03-25, by blanchet
updated vscode_extension;
2022-03-25, by wenzelm
added parentheses in TPTP output -- seem necessary for some provers
2022-03-25, by blanchet
merged
2022-03-24, by wenzelm
provide pre-built vscodium-1.65.2 for all platforms;
2022-03-24, by wenzelm
tuned;
2022-03-24, by wenzelm
provide vscode_extension via component, thus users don't need Node.js development tools;
2022-03-24, by wenzelm
clarified options;
2022-03-24, by wenzelm
Some new library lemmas
2022-03-24, by paulson
merged
2022-03-24, by paulson
really removing Dedekind_real
2022-03-24, by paulson
merged
2022-03-24, by paulson
Moving Dedekind_Real to the AFP
2022-03-24, by paulson
tuned
2022-03-24, by haftmann
separated case reduction
2022-03-24, by haftmann
separated selector function entirely
2022-03-24, by haftmann
self-contained extraction auf clauses
2022-03-24, by haftmann
extracted selector function, restoring code generation for let expressions
2022-03-24, by haftmann
streamlined
2022-03-24, by haftmann
streamlined
2022-03-24, by haftmann
streamlined
2022-03-24, by haftmann
disentangled
2022-03-24, by haftmann
merged
2022-03-23, by wenzelm
tuned message;
2022-03-23, by wenzelm
more operations;
2022-03-23, by wenzelm
tuned signature;
2022-03-23, by wenzelm
more robust install/uninstall;
2022-03-23, by wenzelm
more formal extension_manifest, with shasum for sources;
2022-03-23, by wenzelm
tuned;
2022-03-23, by wenzelm
tuned signature;
2022-03-23, by wenzelm
clarified signature;
2022-03-23, by wenzelm
proper usage;
2022-03-23, by wenzelm
tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;
2022-03-22, by wenzelm
tuned signature;
2022-03-22, by wenzelm
clarified modules;
2022-03-22, by wenzelm
tuned signature;
2022-03-22, by wenzelm
... and removing Primrec from ROOT too
2022-03-23, by paulson
Removal of the Primrec example in preparation for making it an AFP entry
2022-03-23, by paulson
merged
2022-03-23, by desharna
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
2022-02-23, by desharna
split veriT reconstruction into Lethe and veriT part
2022-03-14, by Mathias Fleury
clarified options;
2022-03-22, by wenzelm
more robust errors -- on foreground process instead of background server;
2022-03-22, by wenzelm
clarified options -l vs. -R;
2022-03-22, by wenzelm
command-line arguments for "isabelle vscode", similar to "isabelle jedit";
2022-03-22, by wenzelm
proper command-line tool;
2022-03-22, by wenzelm
support console output, e.g. "isabelle vscode -C -- --help";
2022-03-22, by wenzelm
run Isabelle/VSCode via Scala;
2022-03-22, by wenzelm
clarified module name;
2022-03-21, by wenzelm
clean build from explicit MANIFEST: avoid accidental garbage in vsix package;
2022-03-21, by wenzelm
incorporate build_grammar into build_vscode_extension;
2022-03-21, by wenzelm
removed old generated file;
2022-03-21, by wenzelm
Tidied several ugly proofs in some elderly examples
2022-03-16, by paulson
tuned message;
2022-03-15, by wenzelm
clarified errors;
2022-03-15, by wenzelm
tuned messages;
2022-03-15, by wenzelm
support Node.js as well, reusing the engine from Electron/VSCodium;
2022-03-15, by wenzelm
updated to vscode 1.65.2;
2022-03-15, by wenzelm
proper result check;
2022-03-15, by wenzelm
merged
2022-03-14, by wenzelm
clarified directory layout and settings: more robust on all platforms;
2022-03-14, by wenzelm
tuned;
2022-03-14, by wenzelm
support Electron application framework;
2022-03-14, by wenzelm
generated lemma map_ident_strong for BNFs
2022-03-11, by desharna
updated SMT certificates
2022-03-11, by desharna
used more descriptive assert names in SMT-Lib output
2022-03-11, by desharna
clarified and unified executable names;
2022-03-12, by wenzelm
tuned;
2022-03-12, by wenzelm
tuned;
2022-03-12, by wenzelm