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

more uniform JVM vs. ML status widget;
21 months ago, by wenzelm
clarified modules;
21 months ago, by wenzelm
update to official jedit-5.6.0;
21 months ago, by wenzelm
merged
21 months ago, by paulson
tidying and de-applying
21 months ago, by paulson
restructured
21 months ago, by haftmann
tuned theory structure
21 months ago, by haftmann
more on conversions
21 months ago, by haftmann
generalized signed_take_bit
22 months ago, by haftmann
more on conversions
22 months ago, by haftmann
generalized
22 months ago, by haftmann
a bit of tidying
22 months ago, by paulson
merged
22 months ago, by paulson
de-applying
22 months ago, by paulson
discontinue export_document --- always enabled (reverting f0f83ce0badd);
22 months ago, by wenzelm
unused (see also 7b318273a4aa);
22 months ago, by wenzelm
tuned proofs;
22 months ago, by wenzelm
proper use of SELECT_GOAL to confine distinct_subgoals_tac to original goal range (amending 366d39e95d3c);
22 months ago, by wenzelm
a new lemma
22 months ago, by paulson
more informative bibtex errors;
22 months ago, by wenzelm
merged
22 months ago, by paulson
minor tidying, also s->S and t->T
22 months ago, by paulson
more on conversions
22 months ago, by haftmann
merged
22 months ago, by paulson
quite a bit of tidying
22 months ago, by paulson
more robust interpretation of data;
22 months ago, by wenzelm
merged
22 months ago, by paulson
small quantifier fixes
22 months ago, by paulson
just a bit of streamlining
22 months ago, by paulson
but not the [cong] rule
22 months ago, by paulson
tidying up some theorem statements
22 months ago, by paulson
initial Kodkod.warmup: preloading and basic integrity test;
22 months ago, by wenzelm
strict init of protocol handlers;
22 months ago, by wenzelm
clarified treatment of add-on prover_options;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tiny tidy-up of proofs
22 months ago, by paulson
updated to scala-2.12.12;
22 months ago, by wenzelm
updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;
22 months ago, by wenzelm
NEWS;
22 months ago, by wenzelm
test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much faster;
22 months ago, by wenzelm
updated to kodkodi-1.5.6: more robust treatment of interrupt;
22 months ago, by wenzelm
removed pointless version checks: Isabelle component integration does the job already;
22 months ago, by wenzelm
more robust treatment of execution with interrupts;
22 months ago, by wenzelm
suppress odd warning for context.exit();
22 months ago, by wenzelm
more explicit treatment of interrupt;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
more flexible default for max_threads;
22 months ago, by wenzelm
proper default for max_threads;
22 months ago, by wenzelm
a proof of concept for generic conversions
22 months ago, by haftmann
proper name (amending 742d94015918);
22 months ago, by wenzelm
invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process);
22 months ago, by wenzelm
avoid odd PIDE markup, notably in kokodi input;
22 months ago, by wenzelm
clarified names;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
proper treatment of timeout: <= 0 means already timed out, but for $KODKODI/bin/kodkodi it would mean NO timeout;
22 months ago, by wenzelm
proper treatment of absolute deadline vs. relative timeout;
22 months ago, by wenzelm

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

isabelle