- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Apr 22 2020
Apr 22 2020
more informative error;
makarius committed rISABELLE3875815f5967: clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case….
clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case…
clarified signature -- avoid warning;
clarified imports;
Apr 17 2020
Apr 17 2020
makarius committed rISABELLEc4e0d29cf1ca: discontinued somewhat incoherent patches (see also 3b36fc4916af);.
discontinued somewhat incoherent patches (see also 3b36fc4916af);
use friendlier package;
Apr 16 2020
Apr 16 2020
move virtual machine node;
removed obsolete RC tags;
Apr 15 2020
Apr 15 2020
Added tag Isabelle2020 for changeset abf3e80bd815
updated for release;
Apr 13 2020
Apr 13 2020
clarified signature;
Apr 9 2020
Apr 9 2020
avoid hard-wired stuff: configure via plugin services;
Apr 8 2020
Apr 8 2020
clarified init of settings vs. services;
another isabelle_scala_service;
tuned -- avoid deprecated operations;
more general support for isabelle_scala_service;
Added tag Isabelle2020-RC5 for changeset 8ed68b2aeba1
makarius committed rISABELLE8ed68b2aeba1: more robust: notably for sledgehammer with 'using' and prover=cvc4;.
more robust: notably for sledgehammer with 'using' and prover=cvc4;
Apr 7 2020
Apr 7 2020
makarius committed rISABELLE0cb14b7455ee: more careful handling of interrupts, notably for Isabelle/jEdit Scala Console;.
more careful handling of interrupts, notably for Isabelle/jEdit Scala Console;
makarius committed rISABELLEa5fda30edae2: clarified signature: more uniform treatment of stopped/interrupted state;.
clarified signature: more uniform treatment of stopped/interrupted state;
makarius committed rISABELLEc255ed582095: proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions..
proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.
makarius committed rISABELLE522994a6c10e: tuned signature --- avoid confusion with init_view(buffer: Buffer, text_area….
tuned signature --- avoid confusion with init_view(buffer: Buffer, text_area…
Apr 6 2020
Apr 6 2020
more robust interrupts;
more robust interrupt handling;
makarius committed rISABELLEc6b7f4da67b3: more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt….
more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt…
clarified signature;
clarified signature;
makarius committed rISABELLEb4b973a7df45: more uniform and Java-conformant: change of handler is non-blocking and….
more uniform and Java-conformant: change of handler is non-blocking and…
clarified interrupt handling;
misc tuning and clarification;
more general interrupt_handler, with some cascading;
clarified signature;
Apr 5 2020
Apr 5 2020
clarified signature: more uniform ML vs. Scala;
The same happens for sledgehammer [provers = cvc4].
Maybe a spurious dummy abstraction λ_. bthat is not translated properly?
Apr 4 2020
Apr 4 2020
clarified signature;
proper use of flag;
finally expose interrupt, similar to ML;
makarius committed rISABELLEeb44cf7ae926: tuned -- Command_Line.tool is already part of Isabelle_Tool;.
tuned -- Command_Line.tool is already part of Isabelle_Tool;
Standard_Thread for isabelle command-line tools;
clarified signature;
clarified signature;
thread pool with Standard_Thread workers;
clarified signature;
support for uninterruptible execution;
Apr 3 2020
Apr 3 2020
tuned -- prefer Config.T over Data;
makarius committed rISABELLEeeaa4021f080: proper "editor_tracing_messages=0" as in "isabelle dump";.
proper "editor_tracing_messages=0" as in "isabelle dump";
clarified build_options vs. job options;
makarius committed rISABELLEda49285a0adf: more official handling of protocol messages, including export;.
more official handling of protocol messages, including export;
less redundant markup reports;
more accurate context position reports;
clarified signature;
clarified signature;
clarified signature;
Apr 2 2020
Apr 2 2020
makarius committed rISABELLE25ef5c7287a7: proper treatment of startup errors, notably for Pure ROOT.ML;.
proper treatment of startup errors, notably for Pure ROOT.ML;
makarius committed rISABELLE4d2de35214c5: proper treatment of protocol exceptions and prover termination: avoid session..
proper treatment of protocol exceptions and prover termination: avoid session.
clarified signature: more direct Isabelle_Process.EXIT;
proper arguments of protocol function;
Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a
more robust, notably wrt. interrupts;
Added tag Isabelle2020-RC3 for changeset 7fe1a344404a
clarified messages: indicate termination explicitly;
makarius committed rISABELLE4269db8981b8: avoid vacous type variable, due to "potentially redundant" shyps in Thm..
avoid vacous type variable, due to "potentially redundant" shyps in Thm.
makarius committed rISABELLE7fe1a344404a: updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;.
updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;