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

use mail module in CI build;
23 months ago, by Fabian Huch
added mail module;
23 months ago, by Fabian Huch
build javamail component and add to main components;
23 months ago, by Fabian Huch
added component for javax mail;
23 months ago, by Fabian Huch
updated to vampire-4.8;
23 months ago, by wenzelm
tuned README;
23 months ago, by wenzelm
update Vampire version, following hints by Martin Desharnais;
23 months ago, by wenzelm
removed junk;
23 months ago, by wenzelm
tuned component_vampire script for Vampire 4.8 and added new flag to force version name
23 months ago, by desharna
prefer Isabelle options for CI mail settings over ci.properties;
23 months ago, by Fabian Huch
Added the command nxsketch, which is like sketch except it separates these subgoals by "next" fills in the context using "fix"/"assume" rather than "for"/"if". Also the sketch command does the same if there is only one subgoal.
23 months ago, by paulson
proper cut for Parse.enum1' and its derivatives (see also 769abc29bb8e);
23 months ago, by wenzelm
unused (see fe9e590ae52f);
23 months ago, by wenzelm
clarified modules;
23 months ago, by wenzelm
merged
23 months ago, by wenzelm
update documentation on simproc_setup;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
proper morphism;
23 months ago, by wenzelm
simprocs may be distinguished via 'identifier': only works for ML antiquotation (see also 13252110a6fe);
23 months ago, by wenzelm
more compact ML source;
23 months ago, by wenzelm
more robust read_simproc_spec: proper error positions;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
more standard simproc_setup using ML antiquotation;
23 months ago, by wenzelm
more standard simproc_setup using ML antiquotation;
23 months ago, by wenzelm
more standard simproc_setup using ML antiquotation;
23 months ago, by wenzelm
added ML antiquotation "simproc_setup";
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
tuned signature;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
clarified syntax and order of parameters;
23 months ago, by wenzelm
clarified signature: Named_Target.setup works both for global and local theory;
23 months ago, by wenzelm
clarified signature;
23 months ago, by wenzelm
clarified signature: more concise simproc setup in ML;
23 months ago, by wenzelm
clarified signature: more concise variations on implicit theory setup;
23 months ago, by wenzelm
clarified simproc_setup (passive);
23 months ago, by wenzelm
clarified 'simproc_setup';
23 months ago, by wenzelm
support for "simproc_setup ... (passive)": allow to define simprocs in Isar that are not added to the simpset (yet);
23 months ago, by wenzelm
more standard simproc_setup in Isar;
23 months ago, by wenzelm
more standard ML setup;
23 months ago, by wenzelm
proper slice duration (i.e., 5 s) for new Vampire portfolio following 5a14f2cc1ea0
23 months ago, by desharna
added new portfolio for Vampire 4.8
23 months ago, by desharna
tuned signature, following Isabelle/Scala;
23 months ago, by wenzelm
more thorough expose_interrupt: always reset "break" state, regardless of pending interrupt;
23 months ago, by wenzelm
tuned;
23 months ago, by wenzelm
proper parallel build tasks;
23 months ago, by wenzelm
more Haskell tests on macOS;
23 months ago, by wenzelm
more NEWS;
23 months ago, by wenzelm
disable naproche component for now: to be updated before the next Isabelle release;
23 months ago, by wenzelm
updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell");
23 months ago, by wenzelm
more NEWS;
23 months ago, by wenzelm
tuned structure;
23 months ago, by wenzelm
update platforms: discontinue macOS 10.13 High Sierra, macOS 10.14 Mojave, macOS 10.15 Catalina;
23 months ago, by wenzelm
updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;
23 months ago, by wenzelm
proper options for macOS 11 Big Sur;
23 months ago, by wenzelm
support for official release of polyml-5.9.1;
23 months ago, by wenzelm
updated Linux baseline to Ubuntu 18.04;
23 months ago, by wenzelm
support for macOS 14 Sonoma (only for testing);
23 months ago, by wenzelm
more platform tests: initial support for macOS 14 Sonoma;
23 months ago, by wenzelm

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

isabelle