| Fri, 21 Aug 2015 15:02:42 +0200 |
wenzelm |
updated to recent launch4j 3.8;
|
changeset |
files
|
| Thu, 20 Aug 2015 21:14:58 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Thu, 20 Aug 2015 21:08:47 +0200 |
wenzelm |
clarified modules, like ML version;
|
changeset |
files
|
| Thu, 20 Aug 2015 20:36:06 +0200 |
wenzelm |
clarified modules, like ML version;
|
changeset |
files
|
| Thu, 20 Aug 2015 19:33:26 +0200 |
wenzelm |
suppress small CPU time, notably on x86-windows, where bash does not account for the poly process;
|
changeset |
files
|
| Thu, 20 Aug 2015 19:19:19 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Thu, 20 Aug 2015 19:15:17 +0200 |
wenzelm |
tuned signature, according to ML version;
|
changeset |
files
|
| Thu, 20 Aug 2015 17:41:50 +0100 |
paulson |
The Stone-Weierstrass theorem
|
changeset |
files
|
| Thu, 20 Aug 2015 17:39:07 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 20 Aug 2015 14:35:22 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Thu, 20 Aug 2015 14:31:09 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Thu, 20 Aug 2015 14:13:00 +0200 |
wenzelm |
updated to polyml-5.5.3-20150820, with native x86-windows support;
|
changeset |
files
|
| Thu, 20 Aug 2015 13:41:53 +0200 |
wenzelm |
precise BinIO, without newline conversion on Windows;
|
changeset |
files
|
| Wed, 19 Aug 2015 22:40:41 +0200 |
wenzelm |
repaired proofs after 6a6f15d8fbc4;
|
changeset |
files
|
| Wed, 19 Aug 2015 22:09:33 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 19 Aug 2015 21:51:30 +0200 |
wenzelm |
clarified x86-windows setup;
|
changeset |
files
|
| Wed, 19 Aug 2015 20:41:23 +0200 |
wenzelm |
proper check for Windows executables;
|
changeset |
files
|
| Wed, 19 Aug 2015 19:54:02 +0200 |
wenzelm |
Cygwin bash on Windows;
|
changeset |
files
|
| Wed, 19 Aug 2015 19:53:45 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 19 Aug 2015 16:21:10 +0200 |
wenzelm |
avoid ambiguities on native Windows, such as / vs. /cygdrive/c/cygwin;
|
changeset |
files
|
| Wed, 19 Aug 2015 19:18:19 +0100 |
paulson |
New material and fixes related to the forthcoming Stone-Weierstrass development
|
changeset |
files
|
| Wed, 19 Aug 2015 15:40:59 +0200 |
wenzelm |
disabled auto resolve, until practical consequences are more clear;
|
changeset |
files
|
| Tue, 18 Aug 2015 17:06:34 +0200 |
wenzelm |
example options;
|
changeset |
files
|
| Tue, 18 Aug 2015 16:49:32 +0200 |
wenzelm |
proper platform_path;
|
changeset |
files
|
| Tue, 18 Aug 2015 16:08:47 +0200 |
wenzelm |
clarified File.standard_path vs. File.platform_path (like Isabelle/Scala operations);
|
changeset |
files
|
| Tue, 18 Aug 2015 15:37:50 +0200 |
wenzelm |
SOMEthing went wrong in eb87fc42825c;
|
changeset |
files
|
| Tue, 18 Aug 2015 15:08:22 +0200 |
wenzelm |
include libgmp;
|
changeset |
files
|
| Tue, 18 Aug 2015 14:43:25 +0200 |
wenzelm |
proper platform path for intial PolyML.SaveState.loadState;
|
changeset |
files
|
| Tue, 18 Aug 2015 14:28:29 +0200 |
wenzelm |
proper platform path for initial load;
|
changeset |
files
|
| Tue, 18 Aug 2015 14:07:27 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 18 Aug 2015 11:43:24 +0200 |
wenzelm |
keep native CInterface to make SHA1 work properly;
|
changeset |
files
|
| Tue, 18 Aug 2015 11:14:39 +0200 |
wenzelm |
more setup for native Windows (Pure and HOL session with image);
|
changeset |
files
|
| Mon, 17 Aug 2015 23:45:12 +0200 |
wenzelm |
basic setup for native Windows (RAW session without image);
|
changeset |
files
|
| Mon, 17 Aug 2015 23:16:03 +0200 |
wenzelm |
more complete build;
|
changeset |
files
|
| Mon, 17 Aug 2015 21:56:45 +0200 |
wenzelm |
support for native x86-windows via MinGW32;
|
changeset |
files
|
| Mon, 17 Aug 2015 21:32:41 +0200 |
wenzelm |
no ML_debugger support in Pure -- too complicated;
|
changeset |
files
|
| Mon, 17 Aug 2015 21:22:55 +0200 |
wenzelm |
more careful propagation of ML_debugger option to Pure;
|
changeset |
files
|
| Mon, 17 Aug 2015 19:34:15 +0200 |
wenzelm |
support for ML files with/without debugger information;
|
changeset |
files
|
| Mon, 17 Aug 2015 16:27:12 +0200 |
wenzelm |
explicit debug flag for ML compiler;
|
changeset |
files
|
| Mon, 17 Aug 2015 15:29:30 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 17 Aug 2015 15:19:25 +0200 |
wenzelm |
abstract exn_id based on getExnId in polyml/basis/FinalPolyML.sml (NB: the mutable machine word cannot be inspected in ML, e.g. toplevel pp dumps core);
|
changeset |
files
|
| Sun, 16 Aug 2015 23:14:27 +0200 |
wenzelm |
clarified initial ML name space (amending 7aad4be8a48e);
|
changeset |
files
|
| Sun, 16 Aug 2015 21:55:11 +0200 |
wenzelm |
produce certified vars without access to theory_of_thm, and without context;
|
changeset |
files
|
| Sun, 16 Aug 2015 20:25:12 +0200 |
wenzelm |
produce certified vars without access to theory_of_thm, and without context;
|
changeset |
files
|
| Sun, 16 Aug 2015 19:44:21 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 16 Aug 2015 19:25:08 +0200 |
wenzelm |
added Thm.chyps_of;
|
changeset |
files
|
| Sun, 16 Aug 2015 18:19:30 +0200 |
wenzelm |
prefer theory_id operations;
|
changeset |
files
|
| Sun, 16 Aug 2015 17:11:31 +0200 |
wenzelm |
separate type theory_id;
|
changeset |
files
|
| Sun, 16 Aug 2015 15:36:06 +0200 |
wenzelm |
delete precisely the added rules;
|
changeset |
files
|
| Sun, 16 Aug 2015 14:48:37 +0200 |
wenzelm |
clarified context;
|
changeset |
files
|
| Sun, 16 Aug 2015 11:55:21 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sun, 16 Aug 2015 11:46:08 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 16 Aug 2015 11:29:06 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 15 Aug 2015 23:10:13 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 15 Aug 2015 22:47:03 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 15 Aug 2015 20:27:23 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Sat, 15 Aug 2015 20:07:05 +0200 |
wenzelm |
clarified context;
|
changeset |
files
|
| Sat, 15 Aug 2015 19:42:35 +0200 |
wenzelm |
clarified context;
|
changeset |
files
|
| Sat, 15 Aug 2015 19:11:11 +0200 |
wenzelm |
tuned GUI;
|
changeset |
files
|
| Sat, 15 Aug 2015 19:07:11 +0200 |
wenzelm |
proper setup of evaluation context;
|
changeset |
files
|
| Sat, 15 Aug 2015 19:00:04 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 15 Aug 2015 18:59:31 +0200 |
wenzelm |
more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
|
changeset |
files
|
| Sat, 15 Aug 2015 17:38:20 +0200 |
wenzelm |
allow to break running threads at next possible breakpoint (simplified version of former option, see f3039309702e);
|
changeset |
files
|
| Sat, 15 Aug 2015 16:47:52 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 13 Aug 2015 15:22:11 +0200 |
haftmann |
qualified adjust_*
|
changeset |
files
|
| Thu, 13 Aug 2015 10:05:58 +0200 |
haftmann |
more lemmas
|
changeset |
files
|
| Thu, 13 Aug 2015 16:47:00 +0200 |
traytel |
unfold intermediate definitions (stemming from composition) in lifted bnf operations
|
changeset |
files
|
| Thu, 13 Aug 2015 13:55:52 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 13 Aug 2015 13:55:48 +0200 |
wenzelm |
more standard options;
|
changeset |
files
|
| Thu, 13 Aug 2015 11:40:31 +0200 |
wenzelm |
prefer official @{make_string};
|
changeset |
files
|
| Thu, 13 Aug 2015 11:05:19 +0200 |
wenzelm |
tuned signature, in accordance to sortBy in Scala;
|
changeset |
files
|
| Wed, 12 Aug 2015 21:38:39 +0200 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Thu, 13 Aug 2015 11:14:16 +0200 |
traytel |
tuned NEWS
|
changeset |
files
|
| Wed, 12 Aug 2015 20:46:33 +0200 |
traytel |
actually process lift_bnf regression suite
|
changeset |
files
|
| Wed, 12 Aug 2015 20:46:33 +0200 |
traytel |
NEWS, CONTRIBUTORS, documentation for lift_bnf
|
changeset |
files
|
| Wed, 12 Aug 2015 20:46:33 +0200 |
traytel |
use lift_bnf in an example
|
changeset |
files
|
| Wed, 12 Aug 2015 20:46:33 +0200 |
traytel |
new command for lifting BNF structure over typedefs
|
changeset |
files
|
| Wed, 12 Aug 2015 13:56:46 +0200 |
wenzelm |
more thorough reload;
|
changeset |
files
|
| Wed, 12 Aug 2015 13:53:51 +0200 |
wenzelm |
resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
|
changeset |
files
|
| Wed, 12 Aug 2015 03:07:01 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 12 Aug 2015 02:40:39 +0200 |
wenzelm |
tuned colors;
|
changeset |
files
|
| Wed, 12 Aug 2015 02:21:00 +0200 |
wenzelm |
clarified breakpoint rendering;
|
changeset |
files
|
| Wed, 12 Aug 2015 02:20:06 +0200 |
wenzelm |
clarified;
|
changeset |
files
|
| Wed, 12 Aug 2015 01:39:31 +0200 |
wenzelm |
default ML context for forks, e.g. relevant for debugging and toplevel pretty-printing;
|
changeset |
files
|
| Wed, 12 Aug 2015 01:25:00 +0200 |
wenzelm |
clarified init/exit vs. session phase;
|
changeset |
files
|
| Wed, 12 Aug 2015 10:15:18 +1000 |
Daniel Matichuk |
clarify type vs. term instantiation when forming closure;
|
changeset |
files
|
| Tue, 11 Aug 2015 22:17:19 +0200 |
wenzelm |
more accurate dependencies;
|
changeset |
files
|
| Tue, 11 Aug 2015 22:11:09 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 11 Aug 2015 22:06:25 +0200 |
wenzelm |
clarified thread re-selection;
|
changeset |
files
|
| Tue, 11 Aug 2015 22:01:11 +0200 |
wenzelm |
clarified tree row handling;
|
changeset |
files
|
| Tue, 11 Aug 2015 21:36:25 +0200 |
wenzelm |
proper context (amending 7aad4be8a48e);
|
changeset |
files
|
| Tue, 11 Aug 2015 21:24:11 +0200 |
wenzelm |
suppress threads without debug state;
|
changeset |
files
|
| Tue, 11 Aug 2015 21:15:29 +0200 |
wenzelm |
clarified events;
|
changeset |
files
|
| Tue, 11 Aug 2015 20:49:22 +0200 |
wenzelm |
clarified GUI event handling;
|
changeset |
files
|
| Tue, 11 Aug 2015 20:32:56 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 11 Aug 2015 20:28:11 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 11 Aug 2015 20:21:13 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Tue, 11 Aug 2015 20:05:27 +0200 |
wenzelm |
print values for stack entry;
|
changeset |
files
|
| Tue, 11 Aug 2015 18:42:29 +0200 |
wenzelm |
clarified output;
|
changeset |
files
|
| Tue, 11 Aug 2015 18:00:28 +0200 |
wenzelm |
default ML context for all command transactions, e.g. relevant for debugging and toplevel pretty-printing;
|
changeset |
files
|
| Tue, 11 Aug 2015 17:06:23 +0200 |
wenzelm |
clarified break *point* position;
|
changeset |
files
|
| Tue, 11 Aug 2015 17:00:16 +0200 |
wenzelm |
support hyperlinks with optional focus change;
|
changeset |
files
|
| Tue, 11 Aug 2015 15:24:49 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 11 Aug 2015 14:35:08 +0200 |
wenzelm |
vacuous input means continue, e.g. after exit;
|
changeset |
files
|
| Tue, 11 Aug 2015 14:21:00 +0200 |
wenzelm |
GUI actions depend on active debugger;
|
changeset |
files
|
| Tue, 11 Aug 2015 14:13:36 +0200 |
wenzelm |
init/exit depending on active debugger panels;
|
changeset |
files
|
| Tue, 11 Aug 2015 13:50:59 +0200 |
wenzelm |
eliminated cancel operation: disrupts normal evaluation of thread;
|
changeset |
files
|
| Tue, 11 Aug 2015 11:55:41 +0200 |
wenzelm |
register thread such that cancel works;
|
changeset |
files
|
| Mon, 10 Aug 2015 22:34:00 +0200 |
wenzelm |
clarified default selection;
|
changeset |
files
|
| Mon, 10 Aug 2015 22:21:55 +0200 |
wenzelm |
report final debugger_state more robustly, e.g. after interrupt;
|
changeset |
files
|
| Mon, 10 Aug 2015 21:11:15 +0200 |
wenzelm |
eliminated global option: breakpoints control this individually;
|
changeset |
files
|
| Mon, 10 Aug 2015 21:06:10 +0200 |
wenzelm |
more uniform ScrollPane, like graphview;
|
changeset |
files
|
| Mon, 10 Aug 2015 20:42:59 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 10 Aug 2015 20:25:04 +0200 |
wenzelm |
tuned rendering;
|
changeset |
files
|
| Mon, 10 Aug 2015 20:22:49 +0200 |
wenzelm |
set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;
|
changeset |
files
|
| Mon, 10 Aug 2015 19:17:49 +0200 |
wenzelm |
more thorough Encode.string;
|
changeset |
files
|
| Mon, 10 Aug 2015 17:49:36 +0200 |
wenzelm |
added action to toggle breakpoints (on editor side);
|
changeset |
files
|
| Mon, 10 Aug 2015 16:14:50 +0200 |
wenzelm |
sort lines;
|
changeset |
files
|
| Mon, 10 Aug 2015 16:05:41 +0200 |
wenzelm |
rendering for debugger/breakpoint active state;
|
changeset |
files
|
| Mon, 10 Aug 2015 14:14:49 +0200 |
wenzelm |
follow debugger focus;
|
changeset |
files
|
| Mon, 10 Aug 2015 14:13:49 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 10 Aug 2015 13:54:12 +0200 |
wenzelm |
tuned imports;
|
changeset |
files
|
| Mon, 10 Aug 2015 11:23:49 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Mon, 10 Aug 2015 11:20:16 +0200 |
wenzelm |
clarified ML options;
|
changeset |
files
|
| Sat, 08 Aug 2015 22:08:43 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 08 Aug 2015 21:33:11 +0200 |
wenzelm |
more single stepping;
|
changeset |
files
|
| Sat, 08 Aug 2015 10:51:33 +0200 |
haftmann |
direct bootstrap of integer division from natural division
|
changeset |
files
|
| Thu, 06 Aug 2015 23:56:48 +0200 |
haftmann |
slight cleanup of lemmas
|
changeset |
files
|
| Thu, 06 Aug 2015 19:12:09 +0200 |
haftmann |
obsolete since no code generator without dictionary construction left
|
changeset |
files
|
| Fri, 07 Aug 2015 17:58:12 +0200 |
wenzelm |
make SML/NJ work;
|
changeset |
files
|
| Fri, 07 Aug 2015 16:15:53 +0200 |
wenzelm |
suppress empty messages as usual;
|
changeset |
files
|
| Fri, 07 Aug 2015 14:55:35 +0200 |
wenzelm |
proper Symbol.decode/encode;
|
changeset |
files
|
| Fri, 07 Aug 2015 14:46:56 +0200 |
wenzelm |
eval ML context;
|
changeset |
files
|
| Fri, 07 Aug 2015 11:44:11 +0200 |
wenzelm |
maintain history more often;
|
changeset |
files
|
| Thu, 06 Aug 2015 23:20:15 +0200 |
wenzelm |
approximate old selection after update;
|
changeset |
files
|
| Thu, 06 Aug 2015 23:08:42 +0200 |
wenzelm |
expand all rows for robustness and simplicity;
|
changeset |
files
|
| Thu, 06 Aug 2015 21:31:54 +0200 |
wenzelm |
evaluate ML expressions within debugger context;
|
changeset |
files
|
| Thu, 06 Aug 2015 20:33:12 +0200 |
wenzelm |
clarified debugger loop;
|
changeset |
files
|
| Thu, 06 Aug 2015 17:40:05 +0200 |
wenzelm |
clarified thread state;
|
changeset |
files
|
| Thu, 06 Aug 2015 14:29:05 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 06 Aug 2015 14:28:59 +0200 |
wenzelm |
more controls;
|
changeset |
files
|
| Thu, 06 Aug 2015 14:23:59 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 06 Aug 2015 11:46:47 +0200 |
wenzelm |
clarified signature, to make debugger.ML compile with current official ML versions;
|
changeset |
files
|
| Wed, 05 Aug 2015 21:46:52 +0200 |
wenzelm |
support for tree selection;
|
changeset |
files
|
| Wed, 05 Aug 2015 20:36:07 +0200 |
wenzelm |
proper dynamic update;
|
changeset |
files
|
| Wed, 05 Aug 2015 20:19:51 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 05 Aug 2015 20:04:21 +0200 |
wenzelm |
more GUI components;
|
changeset |
files
|
| Wed, 05 Aug 2015 20:03:22 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 05 Aug 2015 20:02:44 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 05 Aug 2015 16:22:56 +0200 |
wenzelm |
more controls;
|
changeset |
files
|
| Wed, 05 Aug 2015 16:22:40 +0200 |
wenzelm |
proper initialization;
|
changeset |
files
|
| Wed, 05 Aug 2015 16:13:42 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 05 Aug 2015 14:18:07 +0200 |
wenzelm |
protocol support for thread debugger state;
|
changeset |
files
|
| Tue, 04 Aug 2015 23:11:16 +0200 |
wenzelm |
eliminated clone;
|
changeset |
files
|
| Tue, 04 Aug 2015 15:00:58 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 04 Aug 2015 14:29:45 +0200 |
wenzelm |
more symbols;
|
changeset |
files
|
| Tue, 04 Aug 2015 14:06:24 +0200 |
wenzelm |
more symbols;
|
changeset |
files
|
| Tue, 04 Aug 2015 12:19:41 +0200 |
traytel |
more documentation of coercions
|
changeset |
files
|
| Thu, 30 Jul 2015 21:56:19 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 30 Jul 2015 14:02:19 +0200 |
wenzelm |
clarified management of (single) session;
|
changeset |
files
|
| Thu, 30 Jul 2015 11:39:30 +0200 |
wenzelm |
maintain debugger output messages;
|
changeset |
files
|
| Thu, 30 Jul 2015 11:32:58 +0200 |
wenzelm |
provide CharSequence operations as well;
|
changeset |
files
|
| Wed, 29 Jul 2015 15:52:57 +0200 |
wenzelm |
more GUI components;
|
changeset |
files
|
| Wed, 29 Jul 2015 14:04:19 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 29 Jul 2015 13:34:04 +0200 |
wenzelm |
separate channel for debugger output;
|
changeset |
files
|
| Wed, 29 Jul 2015 11:41:26 +0200 |
wenzelm |
clarified thread name;
|
changeset |
files
|
| Thu, 30 Jul 2015 09:49:43 +0200 |
Andreas Lochbihler |
add coinduction rule for infinite
|
changeset |
files
|
| Tue, 28 Jul 2015 23:29:13 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 28 Jul 2015 23:14:40 +0200 |
wenzelm |
clarified context;
|
changeset |
files
|
| Tue, 28 Jul 2015 21:47:03 +0200 |
wenzelm |
more explicit context;
|
changeset |
files
|
| Tue, 28 Jul 2015 21:31:16 +0200 |
wenzelm |
eliminated dead code;
|
changeset |
files
|
| Tue, 28 Jul 2015 21:10:41 +0200 |
wenzelm |
clarified Variable.gen_all;
|
changeset |
files
|
| Tue, 28 Jul 2015 20:59:39 +0200 |
wenzelm |
more explicit context;
|
changeset |
files
|
| Tue, 28 Jul 2015 20:15:19 +0200 |
wenzelm |
more direct access to atomic cterms;
|
changeset |
files
|
| Tue, 28 Jul 2015 20:07:05 +0200 |
wenzelm |
clarified context;
|
changeset |
files
|
| Tue, 28 Jul 2015 20:05:53 +0200 |
wenzelm |
proper context;
|
changeset |
files
|
| Tue, 28 Jul 2015 19:49:54 +0200 |
wenzelm |
more direct access to atomic cterms;
|
changeset |
files
|
| Tue, 28 Jul 2015 18:59:15 +0200 |
wenzelm |
clarified context;
|
changeset |
files
|
| Tue, 28 Jul 2015 18:57:47 +0200 |
wenzelm |
clarified context;
|
changeset |
files
|
| Tue, 28 Jul 2015 18:57:10 +0200 |
wenzelm |
clarified context;
|
changeset |
files
|
| Tue, 28 Jul 2015 18:45:32 +0200 |
immler |
merged
|
changeset |
files
|
| Tue, 28 Jul 2015 17:46:35 +0200 |
immler |
merged
|
changeset |
files
|
| Tue, 28 Jul 2015 16:34:08 +0200 |
immler |
added theory Uniform_Limit
|
changeset |
files
|
| Tue, 28 Jul 2015 18:27:39 +0200 |
wenzelm |
evade timeout problem on macbroy6 (potentially due to NFS oddities);
|
changeset |
files
|
| Tue, 28 Jul 2015 17:15:01 +0100 |
paulson |
tweaks. Got rid of a really slow step
|
changeset |
files
|
| Tue, 28 Jul 2015 16:16:13 +0100 |
paulson |
the Cauchy integral theorem and related material
|
changeset |
files
|
| Tue, 28 Jul 2015 13:00:54 +0200 |
nipkow |
depth -> height; removed del_rightmost (too specifi)
|
changeset |
files
|
| Mon, 27 Jul 2015 23:56:11 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 27 Jul 2015 23:41:57 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 27 Jul 2015 23:40:39 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 27 Jul 2015 22:44:02 +0200 |
haftmann |
formal class for factorial (semi)rings
|
changeset |
files
|
| Mon, 27 Jul 2015 22:08:46 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 27 Jul 2015 17:56:08 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Mon, 27 Jul 2015 17:44:55 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 27 Jul 2015 16:52:57 +0100 |
paulson |
New material for Cauchy's integral theorem
|
changeset |
files
|
| Mon, 27 Jul 2015 16:35:12 +0200 |
wenzelm |
tuned signature for print_nested_cases;
|
changeset |
files
|
| Mon, 27 Jul 2015 15:13:05 +0200 |
wenzelm |
more explicit checks -- improved errors;
|
changeset |
files
|
| Mon, 27 Jul 2015 14:56:06 +0200 |
wenzelm |
eliminated cterm_instantiate;
|
changeset |
files
|
| Mon, 27 Jul 2015 14:55:26 +0200 |
wenzelm |
updated to infer_instantiate;
|
changeset |
files
|
| Mon, 27 Jul 2015 11:30:10 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 27 Jul 2015 00:17:18 +0200 |
wenzelm |
added infer_instantiate_vars, which allows inconsistent types for variables, as required for Metis proof reconstruction;
|
changeset |
files
|
| Sun, 26 Jul 2015 22:26:11 +0200 |
wenzelm |
eliminated atac, rtac, etac, dtac, ftac;
|
changeset |
files
|
| Sun, 26 Jul 2015 22:19:14 +0200 |
wenzelm |
updated to infer_instantiate;
|
changeset |
files
|
| Sun, 26 Jul 2015 22:07:37 +0200 |
wenzelm |
updated to infer_instantiate;
|
changeset |
files
|
| Sun, 26 Jul 2015 21:50:44 +0200 |
wenzelm |
updated to infer_instantiate;
|
changeset |
files
|
| Sun, 26 Jul 2015 21:48:00 +0200 |
wenzelm |
proper context;
|
changeset |
files
|
| Sun, 26 Jul 2015 20:57:35 +0200 |
wenzelm |
updated to infer_instantiate;
|
changeset |
files
|
| Sun, 26 Jul 2015 20:56:44 +0200 |
wenzelm |
updated to infer_instantiate;
|
changeset |
files
|
| Sun, 26 Jul 2015 20:54:02 +0200 |
wenzelm |
ignore non-existant variables, like other instantiate rules;
|
changeset |
files
|
| Sun, 26 Jul 2015 17:32:59 +0200 |
wenzelm |
updated to infer_instantiate;
|
changeset |
files
|
| Sun, 26 Jul 2015 17:24:54 +0200 |
wenzelm |
updated to infer_instantiate;
|
changeset |
files
|
| Sun, 26 Jul 2015 12:24:16 +0200 |
wenzelm |
added infer_instantiate';
|
changeset |
files
|
| Sun, 26 Jul 2015 11:08:57 +0200 |
wenzelm |
more uniform exceptions, like cterm_instantiate;
|
changeset |
files
|
| Sat, 25 Jul 2015 23:41:53 +0200 |
wenzelm |
updated to infer_instantiate;
|
changeset |
files
|
| Sat, 25 Jul 2015 23:15:37 +0200 |
wenzelm |
more accurate maxidx;
|
changeset |
files
|
| Sat, 25 Jul 2015 21:54:09 +0200 |
wenzelm |
clarified error;
|
changeset |
files
|
| Sat, 25 Jul 2015 21:37:09 +0200 |
wenzelm |
added infer_instantiate, which is meant to supersede cterm_instantiate;
|
changeset |
files
|
| Fri, 24 Jul 2015 22:29:06 +0200 |
wenzelm |
eliminated alias;
|
changeset |
files
|
| Fri, 24 Jul 2015 22:20:22 +0200 |
wenzelm |
proper context;
|
changeset |
files
|
| Fri, 24 Jul 2015 22:19:36 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Fri, 24 Jul 2015 22:16:39 +0200 |
wenzelm |
proper context;
|
changeset |
files
|
| Thu, 23 Jul 2015 22:13:42 +0200 |
wenzelm |
more symbols by default, without xsymbols mode;
|
changeset |
files
|
| Thu, 23 Jul 2015 16:40:47 +0200 |
hoelzl |
Measures form a CCPO
|
changeset |
files
|
| Thu, 23 Jul 2015 16:39:10 +0200 |
hoelzl |
reorganized Extended_Real
|
changeset |
files
|
| Thu, 23 Jul 2015 14:25:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
changeset |
files
|
| Thu, 23 Jul 2015 14:20:51 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Thu, 23 Jul 2015 13:28:34 +0200 |
wenzelm |
proper latex;
|
changeset |
files
|
| Wed, 22 Jul 2015 23:26:00 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Wed, 22 Jul 2015 14:55:42 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Tue, 21 Jul 2015 19:04:36 +0200 |
wenzelm |
support for ML debugger;
|
changeset |
files
|
| Tue, 21 Jul 2015 14:12:45 +0200 |
wenzelm |
more explicit thread identification;
|
changeset |
files
|
| Tue, 21 Jul 2015 14:07:06 +0200 |
wenzelm |
avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
|
changeset |
files
|
| Mon, 20 Jul 2015 23:12:50 +0100 |
paulson |
new material for multivariate analysis, etc.
|
changeset |
files
|
| Mon, 20 Jul 2015 11:40:43 +0200 |
wenzelm |
proper LaTeX;
|
changeset |
files
|
| Sun, 19 Jul 2015 21:16:39 +0200 |
wenzelm |
updated to jdk-8u51;
|
changeset |
files
|
| Sun, 19 Jul 2015 00:03:10 +0200 |
wenzelm |
more symbols;
|
changeset |
files
|
| Sat, 18 Jul 2015 22:58:50 +0200 |
wenzelm |
isabelle update_cartouches;
|
changeset |
files
|
| Sat, 18 Jul 2015 21:44:18 +0200 |
wenzelm |
prefer tactics with explicit context;
|
changeset |
files
|
| Sat, 18 Jul 2015 21:25:55 +0200 |
wenzelm |
prefer tactics with explicit context;
|
changeset |
files
|
| Sat, 18 Jul 2015 20:59:51 +0200 |
wenzelm |
merged
|
changeset |
files
|