isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 tip

bit on numerals
2020-04-16, by haftmann
more complete rules on numerals
2020-04-16, by haftmann
more complete rules on numerals
2020-04-16, by haftmann
removed obsolete RC tags;
2020-04-16, by wenzelm
merged
2020-04-15, by wenzelm
Added tag Isabelle2020 for changeset abf3e80bd815
2020-04-15, by wenzelm
tuned NEWS; Isabelle2020
2020-04-13, by wenzelm
tuned NEWS;
2020-04-12, by wenzelm
tuned message;
2020-04-13, by wenzelm
tuned message;
2020-04-13, by wenzelm
clarified signature;
2020-04-13, by wenzelm
more cleaning up Homotopy
2020-04-12, by paulson
cleaning up Homotopy
2020-04-12, by paulson
merged
2020-04-10, by paulson
more removal of applys
2020-04-10, by paulson
avoid hard-wired stuff: configure via plugin services;
2020-04-09, by wenzelm
tuned;
2020-04-09, by wenzelm
tuned;
2020-04-09, by wenzelm
clarified init of settings vs. services;
2020-04-08, by wenzelm
tuned message;
2020-04-08, by wenzelm
merged
2020-04-08, by wenzelm
another isabelle_scala_service;
2020-04-08, by wenzelm
tuned;
2020-04-08, by wenzelm
tuned -- avoid deprecated operations;
2020-04-08, by wenzelm
more general support for isabelle_scala_service;
2020-04-08, by wenzelm
merged
2020-04-08, by wenzelm
merged
2020-04-08, by wenzelm
Added tag Isabelle2020-RC5 for changeset 8ed68b2aeba1
2020-04-08, by wenzelm
more robust: notably for sledgehammer with 'using' and prover=cvc4;
2020-04-04, by wenzelm
NEWS;
2020-04-07, by wenzelm
more careful handling of interrupts, notably for Isabelle/jEdit Scala Console;
2020-04-07, by wenzelm
clarified signature: more uniform treatment of stopped/interrupted state;
2020-04-07, by wenzelm
proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.session_build check;
2020-04-07, by wenzelm
tuned signature --- avoid confusion with init_view(buffer: Buffer, text_area: JEditTextArea);
2020-04-07, by wenzelm
merged
2020-04-07, by nipkow
more automation and clarification
2020-04-07, by nipkow
merged
2020-04-07, by paulson
removed more applys
2020-04-06, by paulson
merged;
2020-04-06, by wenzelm
more robust interrupts;
2020-04-06, by wenzelm
tuned message;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
NEWS;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
more robust interrupt handling;
2020-04-06, by wenzelm
more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt handler);
2020-04-06, by wenzelm
clarified signature;
2020-04-06, by wenzelm
clarified signature;
2020-04-06, by wenzelm
more uniform and Java-conformant: change of handler is non-blocking and interrupts should not be exposed prematurely (reverting 220d19f3e074);
2020-04-06, by wenzelm
terminate faster;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
clarified interrupt handling;
2020-04-06, by wenzelm
clarified modules;
2020-04-06, by wenzelm
tuned;
2020-04-06, by wenzelm
misc tuning and clarification;
2020-04-06, by wenzelm
more general interrupt_handler, with some cascading;
2020-04-05, by wenzelm
clarified signature;
2020-04-05, by wenzelm
a few more applys
2020-04-06, by paulson
fixed a broken frac_le proof
2020-04-06, by paulson
fixed more nasty proofs
2020-04-05, by paulson
merged
2020-04-05, by paulson
Tidied up more ancient, horrible proofs. Liberalised frac_le
2020-04-05, by paulson
clarified signature: more uniform ML vs. Scala;
2020-04-05, by wenzelm
clarified names;
2020-04-05, by wenzelm
clarified names;
2020-04-05, by wenzelm
proper use of flag;
2020-04-04, by wenzelm
clarified signature;
2020-04-04, by wenzelm
tuned names;
2020-04-04, by wenzelm
finally expose interrupt, similar to ML;
2020-04-04, by wenzelm
Standard_Thread for isabelle command-line tools;
2020-04-04, by wenzelm
tuned -- Command_Line.tool is already part of Isabelle_Tool;
2020-04-04, by wenzelm
clarified signature;
2020-04-04, by wenzelm
clarified signature;
2020-04-04, by wenzelm
thread pool with Standard_Thread workers;
2020-04-04, by wenzelm
clarified signature;
2020-04-04, by wenzelm
support for uninterruptible execution;
2020-04-04, by wenzelm
tuned -- prefer Config.T over Data;
2020-04-03, by wenzelm
proper "editor_tracing_messages=0" as in "isabelle dump";
2020-04-03, by wenzelm
tuned;
2020-04-03, by wenzelm
clarified build_options vs. job options;
2020-04-03, by wenzelm
more official handling of protocol messages, including export;
2020-04-03, by wenzelm
less redundant markup reports;
2020-04-03, by wenzelm
more accurate context position reports;
2020-04-03, by wenzelm
clarified signature;
2020-04-03, by wenzelm
clarified signature;
2020-04-03, by wenzelm
tuned;
2020-04-03, by wenzelm
clarified signature;
2020-04-03, by wenzelm
tuned signature;
2020-04-03, by wenzelm
proper treatment of startup errors, notably for Pure ROOT.ML;
2020-04-02, by wenzelm
proper treatment of protocol exceptions and prover termination: avoid session.stop while saving image;
2020-04-02, by wenzelm
merged
2020-04-02, by wenzelm
Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a
2020-04-02, by wenzelm
more robust, notably wrt. interrupts;
2020-03-28, by wenzelm
merged
2020-03-26, by wenzelm
more NEWS;
2020-03-25, by wenzelm
clarified messages: indicate termination explicitly;
2020-03-25, by wenzelm
avoid vacous type variable, due to "potentially redundant" shyps in Thm.unconstrainT;
2020-03-24, by wenzelm
Added tag Isabelle2020-RC3 for changeset 7fe1a344404a
2020-03-23, by wenzelm
updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;
2020-03-23, by wenzelm
avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this;
2020-03-22, by wenzelm
clarified signature: more direct Isabelle_Process.EXIT;
2020-04-02, by wenzelm
proper arguments of protocol function;
2020-04-02, by wenzelm
merged
2020-04-01, by wenzelm
more robust: process stdout on Windows may contain CR;
2020-04-01, by wenzelm
clarified signature;
2020-04-01, by wenzelm
prefer system option: easier to make it default;
2020-04-01, by wenzelm
support multiple sessions, notably for "isabelle build -P -j2";
2020-04-01, by wenzelm
pretty formatting as in Isabelle/ML;
2020-04-01, by wenzelm
output prover messages;
2020-04-01, by wenzelm
clarified signature;
2020-04-01, by wenzelm
clarified signature: more robust;
2020-04-01, by wenzelm
proper parent base;
2020-04-01, by wenzelm
traditional print_mode for batch build;
2020-04-01, by wenzelm
proper support for "isabelle build -P Pure";
2020-04-01, by wenzelm
clarified signature: more robust bootstrap base;
2020-04-01, by wenzelm
proper startup for Pure: its use_prelude produces stdout before stderr protocol init;
2020-04-01, by wenzelm
proper context for loading Pure;
2020-04-01, by wenzelm
clarified signature of ML_Process vs. Isabelle_Process: proper support for "isabelle build -P -b";
2020-03-31, by wenzelm
close socket explicitly (idempotent);
2020-03-31, by wenzelm