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

S Holub's proposed generalisation of the lexicographic product of two orderings
21 months ago, by paulson
allow user-defined server commands via isabelle_scala_service;
21 months ago, by wenzelm
more systematic support for special directories;
21 months ago, by wenzelm
proper init of cumulative settings;
21 months ago, by wenzelm
upgrade phabricator: Promote 2020 Week 31 + subsequent change;
21 months ago, by wenzelm
clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
21 months ago, by wenzelm
proper protocol init (amending 065dcd80293e);
21 months ago, by wenzelm
clarified names;
21 months ago, by wenzelm
provide protocol handlers via isabelle_system_service;
21 months ago, by wenzelm
prefer formal name;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
misc tuning;
21 months ago, by wenzelm
clarified demo functions;
21 months ago, by wenzelm
clarified protocol: ML worker thread blocks and awaits result from Scala, to avoid excessive replacement threads;
21 months ago, by wenzelm
more documentation;
21 months ago, by wenzelm
support JVM runtime statistics;
21 months ago, by wenzelm
clarified worker threads;
21 months ago, by wenzelm
misc tuning, based on hints by IntelliJ IDEA;
21 months ago, by wenzelm
clarified GUI;
21 months ago, by wenzelm
tuned GUI;
21 months ago, by wenzelm
tuned GUI;
21 months ago, by wenzelm
clarified order for GUI;
21 months ago, by wenzelm
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

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

isabelle