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

tuned;
21 months ago, by wenzelm
clarified GUI;
21 months ago, by wenzelm
show GC progress as "ML cleanup";
21 months ago, by wenzelm
ML status widget similar to org.gjt.sp.jedit.gui.statusbar.MemoryStatusWidgetFactory;
21 months ago, by wenzelm
support for Poly/ML memory status;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
removed pointless option "ML_statistics": always enabled;
21 months ago, by wenzelm
removed pointless GUI controls for ML_statistics --- no longer part of prover protocol (see also 38a64cc17403);
21 months ago, by wenzelm
support for GC state;
21 months ago, by wenzelm
updated to polyml-test-f54aa41240d0;
21 months ago, by wenzelm
back to polyml-5.8.1 due to ML compiler crash in HOL-Codegenerator_Test;
21 months ago, by wenzelm
updated to polyml-test-159dc81efc3b;
21 months ago, by wenzelm
dedicated symbols for code generation, to pave way for generic conversions from and to word
21 months ago, by haftmann
consolidated names
21 months ago, by haftmann
reduced prominence od theory Bits_Int
21 months ago, by haftmann
one last lemma about Total and Restr
21 months ago, by paulson
adjustments for fewer WO assumptions
21 months ago, by paulson
elimination of some needless assumptions
21 months ago, by paulson
merged
21 months ago, by paulson
iso lemmas
21 months ago, by paulson
tuned
21 months ago, by nipkow
tuned
21 months ago, by nipkow
NEWS;
21 months ago, by wenzelm
provide POLYSTATSDIR to keep $HOME/.polyml clean (requires Poly/ML 52881757b127, otherwise ignored);
21 months ago, by wenzelm
adapted to 7b318273a4aa;
21 months ago, by wenzelm
cache props;
21 months ago, by wenzelm
clarified names;
21 months ago, by wenzelm
more thorough protocol_handlers.exit, like file_formats.stop_session;
21 months ago, by wenzelm
tuned names;
21 months ago, by wenzelm
temporary workaround for 100% CPU usage in OS.Process.sleep;
21 months ago, by wenzelm
ML statistics via external process: allows monitoring RTS while ML program sleeps;
21 months ago, by wenzelm
clarified catch-all handler --- avoid confusion of Interrupt vs. Exn.Interrupt in varying ML contexts;
21 months ago, by wenzelm
avoid failure of "isabelle build -o skip_proofs";
21 months ago, by wenzelm
merged
21 months ago, by wenzelm
recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
21 months ago, by wenzelm
more compact command_timings, as in former batch-build;
21 months ago, by wenzelm
unused;
21 months ago, by wenzelm
unused --- superseded by PIDE messages;
21 months ago, by wenzelm
more thorough cleanup, e.g. before ML_Heap.save;
21 months ago, by wenzelm
discontinued old batch-build functionality;
21 months ago, by wenzelm
tailored towards remaining essence
21 months ago, by haftmann
merged
21 months ago, by nipkow
tuned
21 months ago, by nipkow
added theory Tree23_of_List
21 months ago, by nipkow
more robust treatment of thm_names, with strict check after all theories are loaded;
21 months ago, by wenzelm
a few more lemmas
21 months ago, by paulson
merged
21 months ago, by paulson
lemmas about sets and the enumerate operator
21 months ago, by paulson
yet another little lemma
21 months ago, by paulson
merged
21 months ago, by paulson
merged
21 months ago, by paulson
merged
21 months ago, by paulson
strengthened a lemma
22 months ago, by paulson
A new lemma about abstract Sum / Prod
22 months ago, by paulson
separation of reversed bit lists from other material
21 months ago, by haftmann
merged
21 months ago, by wenzelm
avoid exhaustion of worker threads, notably due to complex interaction of future/promise/lazy in Proofterm.make_thm_node;
21 months ago, by wenzelm
more robust: insist in finished future;
21 months ago, by wenzelm
unused;
21 months ago, by wenzelm
further refinement of code equations for mask operation
21 months ago, by haftmann

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

isabelle