Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-448
+448
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
documentation for "Semantic subtype definitions";
2015-09-25, by wenzelm
moved remaining display.ML to more_thm.ML;
2015-09-25, by wenzelm
less redundant output;
2015-09-25, by wenzelm
proper context;
2015-09-25, by wenzelm
tuned;
2015-09-25, by wenzelm
tuned;
2015-09-25, by wenzelm
tuned;
2015-09-25, by wenzelm
tuned signature: eliminated pointless type Context.pretty;
2015-09-25, by wenzelm
more explicit Defs.context: use proper name spaces as far as possible;
2015-09-24, by wenzelm
explicit indication of overloaded typedefs;
2015-09-24, by wenzelm
tuned signature;
2015-09-23, by wenzelm
tuned output;
2015-09-23, by wenzelm
tuned output;
2015-09-23, by wenzelm
tuned signature;
2015-09-22, by wenzelm
eliminated separate type Theory.dep: use typeargs uniformly for consts/types;
2015-09-22, by wenzelm
tuned signature;
2015-09-22, by wenzelm
tuned output;
2015-09-22, by wenzelm
separate command 'print_definitions';
2015-09-22, by wenzelm
tuned;
2015-09-22, by wenzelm
clarified deps entry: global names for arguments;
2015-09-22, by wenzelm
renamed Defs.node to Defs.item;
2015-09-22, by wenzelm
tuned signature;
2015-09-22, by wenzelm
tuned whitespace;
2015-09-22, by wenzelm
HOL typedef with explicit dependency checks according to Ondrey Kuncar, 07-Jul-2015, 16-Jul-2015, 30-Jul-2015;
2015-09-22, by wenzelm
prove Liminf_inverse_ereal
2015-09-25, by hoelzl
merged
2015-09-24, by immler
exchange uniform limit and integral
2015-09-24, by immler
congruence rules for the relator
2015-09-24, by traytel
conceal only the definitional theorems of map, set, rel (and not the actual constants)
2015-09-24, by traytel
more useful properties of the relators
2015-09-24, by traytel
tuned proofs (less warnings)
2015-09-24, by traytel
Useful facts about min/max, etc.
2015-09-23, by paulson
Merge
2015-09-23, by paulson
fixed a VERY SLOW proof
2015-09-23, by paulson
SOME rather than THE makes it easy to prove equivalence with other forms of derivatives
2015-09-22, by paulson
New lemmas
2015-09-22, by paulson
Prepared two non-terminating proofs; no obvious link with my changes
2015-09-22, by paulson
added AVL and lookup function
2015-09-23, by nipkow
tuned
2015-09-23, by nipkow
merged
2015-09-22, by nipkow
unified isin-proofs
2015-09-22, by nipkow
tuned
2015-09-22, by haftmann
include some data structures into code generation
2015-09-22, by haftmann
effective revert of e6b1236f9b3d: spontaneous eta-contraction happens on the print translation level and can only be suppressed on the print translation level
2015-09-22, by haftmann
tuned references
2015-09-22, by nipkow
added red black trees
2015-09-22, by nipkow
clarified markup;
2015-09-21, by wenzelm
isabelle update_cartouches;
2015-09-21, by wenzelm
merged
2015-09-21, by wenzelm
tuned GUI;
2015-09-21, by wenzelm
removed auto update -- bad reactivity;
2015-09-21, by wenzelm
clarified isabelle.update-state;
2015-09-21, by wenzelm
more reactive update, like Output panel;
2015-09-21, by wenzelm
added isabelle update_then;
2015-09-21, by wenzelm
NEWS;
2015-09-21, by wenzelm
tuned priority (like other query operations, e.g. "find_theorems");
2015-09-21, by wenzelm
option editor_output_state;
2015-09-21, by wenzelm
obsolete, superseded by State panel;
2015-09-21, by wenzelm
added action "isabelle-update-state";
2015-09-21, by wenzelm
support for auto update via caret focus;
2015-09-21, by wenzelm
tuned signature;
2015-09-21, by wenzelm
separate panel for proof state output;
2015-09-21, by wenzelm
tuned;
2015-09-21, by wenzelm
more specific name to reduce danger of clash with direct uses of plain Command.print_function;
2015-09-21, by wenzelm
tuned;
2015-09-21, by wenzelm
new lemmas and movement of lemmas into place
2015-09-21, by paulson
New subdirectory for functional data structures
2015-09-21, by nipkow
Added new simplifier predicate ASSUMPTION
2015-09-21, by nipkow
eliminated suspicious unicode;
2015-09-19, by wenzelm
eliminated hard tabs;
2015-09-19, by wenzelm
obsolete;
2015-09-19, by wenzelm
NEWS;
2015-09-19, by wenzelm
straight-forward refresh, without special preconditions;
2015-09-19, by wenzelm
eliminated pointless jedit_text_overview_limit;
2015-09-19, by wenzelm
fast synchronous painting and asynchronous refresh of text overview, reduces GUI thread latency from 100ms to 1ms for big files like src/HOL/Multivariate_Analsyis/Integration.thy;
2015-09-19, by wenzelm
allow to cancel running event;
2015-09-19, by wenzelm
tuned;
2015-09-19, by wenzelm
tuned signature;
2015-09-19, by wenzelm
Merge
2015-09-18, by paulson
Massive revisions, as a valid path must now be continously differentiable (C!)
2015-09-18, by paulson
isabelle update_cartouches;
2015-09-17, by wenzelm
isabelle update_cartouches;
2015-09-17, by wenzelm
recode all text, which is relevant for Session.save on non-ASCII directory;
2015-09-16, by wenzelm
tuned;
2015-09-16, by wenzelm
more recent JavaAppLauncher, which supports file associations;
2015-09-16, by wenzelm
more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher;
2015-09-16, by wenzelm
more app properties glimpsed from infinitekind/Moneydance 2015.5;
2015-09-16, by wenzelm
tuned whitespace;
2015-09-16, by wenzelm
updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);
2015-09-16, by wenzelm
avoid module dependency cycles
2015-09-15, by Andreas Lochbihler
goali -> i
2015-09-15, by nipkow
Omega_Words_Fun: Infinite words as functions from nat.
2015-09-15, by lammich
provide FontMapper for embedded fonts;
2015-09-14, by wenzelm
avoid hardwired colors;
2015-09-14, by wenzelm
avoid hardwired colors;
2015-09-14, by wenzelm
replacement character for spaces;
2015-09-14, by wenzelm
single-instance application, even on Linux;
2015-09-14, by wenzelm
single-instance application for Linux;
2015-09-14, by wenzelm
tuned message;
2015-09-14, by wenzelm
added isabelle jedit_client;
2015-09-14, by wenzelm
tuned proofs -- less legacy;
2015-09-13, by wenzelm
tuned message;
2015-09-13, by wenzelm
tuned proofs;
2015-09-13, by wenzelm
renamed method "goals" to "goal_cases" to emphasize its meaning;
2015-09-13, by wenzelm
tuned proofs;
2015-09-13, by wenzelm
method "goals" ignores facts;
2015-09-13, by wenzelm
tuned;
2015-09-13, by wenzelm
unconceal symbols stemming from inductive_set specifications, which are regular part of user-space specification;
2015-09-10, by haftmann
fully detached test run, to avoid flashing window on Windows with Cygwin-Terminal;
2015-09-11, by wenzelm
single-instance application on Windows;
2015-09-11, by wenzelm
more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;
2015-09-11, by wenzelm
convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
2015-09-11, by wenzelm
clarified order;
2015-09-11, by wenzelm
more symbols;
2015-09-11, by wenzelm
Unicode is standard in Poly/ML repository version;
2015-09-10, by wenzelm
removed obsolete undocumented feature;
2015-09-10, by wenzelm
more standard local_theory operations;
2015-09-10, by wenzelm
HOL-Proofs is slow;
2015-09-10, by wenzelm
convenient access to application properties;
2015-09-10, by wenzelm
tuned -- avoid slightly odd @{cpat};
2015-09-10, by wenzelm
dropped redundant NEWS
2015-09-10, by haftmann
less ambitious options, to accomodate 4GB systems;
2015-09-10, by wenzelm
tuned
2015-09-10, by nipkow
clarified declaration flags, like 'declaration' command;
2015-09-09, by wenzelm
merged
2015-09-09, by wenzelm
simplified simproc programming interfaces;
2015-09-09, by wenzelm
eliminated \<Colon> from syntax of constraints;
2015-09-09, by wenzelm
eliminated \<Colon> -- from dead code!
2015-09-09, by wenzelm
merged
2015-09-09, by Andreas Lochbihler
reactivate examples with predicate compiler and quickcheck
2015-09-09, by Andreas Lochbihler
disable jedit_auto_resolve (again) -- too confusing;
2015-09-08, by wenzelm
proper Windows path, notably for ML basis;
2015-09-08, by wenzelm
more basic Windows path operations -- evade exception InvalidArc with Unicode;
2015-09-08, by wenzelm
updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names;
2015-09-08, by wenzelm
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
2015-09-08, by wenzelm
clarified Java runtime options for 32 vs. 64 bit;
2015-09-08, by wenzelm
clarified JEDIT_JAVA_OPTIONS: separate defaults for 32 vs. 64 bit;
2015-09-08, by wenzelm
clarified JEDIT_JAVA_SYSTEM_OPTIONS;
2015-09-08, by wenzelm
clarified ISABELLE_BUILD_JAVA_OPTIONS;
2015-09-08, by wenzelm
unconditional parenthesing of (chained) abstractions in Scala, with explicit regression setup
2015-09-06, by haftmann
parenthesing let-expressions in OCaml similar to case expressions avoids precendence problems due to ambiguous scope;
2015-09-06, by haftmann
formally regenerated
2015-09-06, by haftmann
tuned notation, proofs, namespace
2015-09-06, by haftmann
obsolete: if case_prod is fully applied, it is printed as proper case expression;
2015-09-06, by haftmann
prefer "uncurry" as canonical name for case distinction on products in combinatorial view
2015-09-06, by haftmann
tuned
2015-09-06, by haftmann
obsolete: all (formally unchecked) examples given in the comments work out of the box as advertised
2015-09-06, by haftmann
dropped whitespace leftover from b57df8eecad6
2015-09-06, by haftmann
do not expose low-level "_def" facts of 'function' definitions, to avoid potential confusion with the situation of plain 'definition';
2015-09-06, by wenzelm
tuned proofs;
2015-09-06, by wenzelm
removed obsolete theory Legacy_Mrec;
2015-09-06, by wenzelm
NEWS;
2015-09-06, by wenzelm
merged
2015-09-04, by wenzelm
close derivation *before* splitting conjuncts, like Goal.prove_common (see also 757cad5a3fe9) -- potential improvement of performance;
2015-09-04, by wenzelm
modernized name space management -- more uniform qualification;
2015-09-04, by wenzelm
tuned -- do not open ML structures;
2015-09-04, by wenzelm
trim context for persistent storage;
2015-09-04, by wenzelm
trim context for persistent storage;
2015-09-04, by wenzelm
proper restore naming after close, which is important for packages that used nested targets internally, e.g. BNF datatype;
2015-09-04, by wenzelm
more general Typedef.bindings;
2015-09-03, by wenzelm
proper restore_naming after global qed, which is important to make Name_Space.transform_naming work properly, e.g. for "private typedef";
2015-09-03, by wenzelm
merged
2015-09-04, by Andreas Lochbihler
merged
2015-09-03, by Andreas Lochbihler
use quotient and lifting package;
2015-09-03, by Andreas Lochbihler
merged
2015-09-03, by paulson
new lemmas about vector_derivative, complex numbers, paths, etc.
2015-09-03, by paulson
trim context for persistent storage;
2015-09-03, by wenzelm
misc tuning and modernization;
2015-09-03, by wenzelm
use open/close_target rather than Local_Theory.restore to get polymorphic definitions;
2015-09-03, by traytel
clean name as in ML Completion.make;
2015-09-03, by wenzelm
use alphabetic order before history order;
2015-09-03, by wenzelm
eliminated pointless cterms;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
more thorough transfer;
2015-09-02, by wenzelm
clarified context;
2015-09-02, by wenzelm
more thorough transfer;
2015-09-02, by wenzelm
clarified context;
2015-09-02, by wenzelm
tuned message;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
trim context for persistent storage;
2015-09-02, by wenzelm
eliminated old 'defs';
2015-09-02, by wenzelm
expose locale definition to normal user-namespace (for completion, query etc.) -- in contrast to 149f80f27c84, ba9f52f56356, f7d9c5e5d2f9;
2015-09-02, by wenzelm
clarified vacuous binding;
2015-09-02, by wenzelm
trim context more thoroughly;
2015-09-02, by wenzelm
tuned;
2015-09-02, by wenzelm
updated sessions;
2015-09-02, by wenzelm
thread context for exceptions from forks, e.g. relevant when printing errors;
2015-09-01, by wenzelm
eliminated \<Colon>;
2015-09-01, by wenzelm
tuned -- avoid slightly odd @{cpat};
2015-09-01, by wenzelm
support x86_64-windows;
2015-08-31, by wenzelm
misc tuning and simplification;
2015-08-31, by wenzelm
proper option, not catch-all pattern;
2015-08-31, by wenzelm
support x86_64-windows;
2015-08-31, by wenzelm
prefer symbols;
2015-08-31, by wenzelm
prefer symbols;
2015-08-31, by wenzelm
proper qualified naming;
2015-08-31, by wenzelm
misc tuning and clarification;
2015-08-31, by wenzelm
misc tuning and modernization;
2015-08-31, by wenzelm
clarified context;
2015-08-31, by wenzelm
tuned signature;
2015-08-31, by wenzelm
clarified context;
2015-08-31, by wenzelm
tuned message;
2015-08-31, by wenzelm
trim context for persistent storage;
2015-08-31, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
store result of swapify, to avoid later access to implicit context;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
tuned;
2015-08-30, by wenzelm
clarified implicit context;
2015-08-30, by wenzelm
clarified exceptions;
2015-08-30, by wenzelm
clarified exceptions;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
trim context for persistent storage;
2015-08-30, by wenzelm
clarified exceptions;
2015-08-30, by wenzelm
tuned documentation -- merge is implicitly performed by the system;
2015-08-28, by wenzelm
clarified exceptions: avoid interference of formal context failure with regular rule application failure (which is routinely handled in user-space);
2015-08-28, by wenzelm
more abstract theory certificate, which is not necessarily the full theory;
2015-08-28, by wenzelm
eliminated obsolete environment variable
2015-08-28, by blanchet
tuned signature;
2015-08-28, by wenzelm
tuned;
2015-08-28, by wenzelm
tuned;
2015-08-28, by wenzelm
tuned signature;
2015-08-28, by wenzelm
tuned;
2015-08-28, by wenzelm
tuned signature;
2015-08-28, by wenzelm
clarified language context, e.g. relevant for symbols;
2015-08-28, by wenzelm
merged;
2015-08-28, by wenzelm
tuned;
2015-08-26, by wenzelm
generate proper error instead of exception if goal cannot be atomized
2015-08-27, by blanchet
standardized some occurences of ancient "split" alias
2015-08-27, by haftmann
more lemmas on sorting and multisets (due to Thomas Sewell)
2015-08-27, by haftmann
robust handling of Vampire 4 proofs
2015-08-27, by blanchet
reverted 6ac3172985d4 -- the old URL has been restored
2015-08-27, by blanchet
fixed typo in comment
2015-08-27, by blanchet
use fancy options of Java 8;
2015-08-26, by wenzelm
tuned signature;
2015-08-26, by wenzelm
clarified kill on Windows: just one executable;
2015-08-26, by wenzelm
avoid deprecated PluginOptions with its unbounded window size;
2015-08-25, by wenzelm
clarified undefined_blobs: already loaded theories are suppressed;
2015-08-25, by wenzelm
tuned spacing
2015-08-25, by nipkow
tuned exercise
2015-08-25, by nipkow
merged
2015-08-24, by wenzelm
reset focus after thread update (with new debug_states);
2015-08-24, by wenzelm
atomic Debugger.status;
2015-08-24, by wenzelm
tuned;
2015-08-24, by wenzelm
tuned;
2015-08-24, by wenzelm
more thorough GUI update;
2015-08-24, by wenzelm
maintain per-thread focus context;
2015-08-24, by wenzelm
typos
2015-08-24, by nipkow
nex exercise
2015-08-24, by nipkow
more explicit debugger caret rendering;
2015-08-24, by wenzelm
more explicit type Debugger.Context;
2015-08-23, by wenzelm
more precise tree re-selection;
2015-08-23, by wenzelm
proper GUI event;
2015-08-23, by wenzelm
update focus more thoroughly;
2015-08-23, by wenzelm
tuned;
2015-08-22, by wenzelm
merged
2015-08-21, by traytel
don't use types that come from the database---they are inconsistent with the ones occurring in the terms
2015-08-21, by traytel
tuned;
2015-08-21, by wenzelm
clarified linux application bundle;
2015-08-21, by wenzelm
more version information;
2015-08-21, by wenzelm
separate bundle for windows64;
2015-08-21, by wenzelm
tuned;
2015-08-21, by wenzelm
more scalable GUI;
2015-08-21, by wenzelm
eliminated WinRun4J artifact;
2015-08-21, by wenzelm
proper classpath for launcher;
2015-08-21, by wenzelm
updated to jdk-8u60, with support for x86_64-windows;
2015-08-21, by wenzelm
updated to recent launch4j 3.8;
2015-08-21, by wenzelm
clarified modules;
2015-08-20, by wenzelm
clarified modules, like ML version;
2015-08-20, by wenzelm
clarified modules, like ML version;
2015-08-20, by wenzelm
suppress small CPU time, notably on x86-windows, where bash does not account for the poly process;
2015-08-20, by wenzelm
obsolete;
2015-08-20, by wenzelm
tuned signature, according to ML version;
2015-08-20, by wenzelm
The Stone-Weierstrass theorem
2015-08-20, by paulson
tuned;
2015-08-20, by wenzelm
obsolete;
2015-08-20, by wenzelm
NEWS;
2015-08-20, by wenzelm
updated to polyml-5.5.3-20150820, with native x86-windows support;
2015-08-20, by wenzelm
precise BinIO, without newline conversion on Windows;
2015-08-20, by wenzelm
repaired proofs after 6a6f15d8fbc4;
2015-08-19, by wenzelm
merged
2015-08-19, by wenzelm
clarified x86-windows setup;
2015-08-19, by wenzelm
proper check for Windows executables;
2015-08-19, by wenzelm
Cygwin bash on Windows;
2015-08-19, by wenzelm
tuned;
2015-08-19, by wenzelm
avoid ambiguities on native Windows, such as / vs. /cygdrive/c/cygwin;
2015-08-19, by wenzelm
New material and fixes related to the forthcoming Stone-Weierstrass development
2015-08-19, by paulson
disabled auto resolve, until practical consequences are more clear;
2015-08-19, by wenzelm
example options;
2015-08-18, by wenzelm
proper platform_path;
2015-08-18, by wenzelm
clarified File.standard_path vs. File.platform_path (like Isabelle/Scala operations);
2015-08-18, by wenzelm
SOMEthing went wrong in eb87fc42825c;
2015-08-18, by wenzelm
include libgmp;
2015-08-18, by wenzelm
proper platform path for intial PolyML.SaveState.loadState;
2015-08-18, by wenzelm
proper platform path for initial load;
2015-08-18, by wenzelm
tuned signature;
2015-08-18, by wenzelm
keep native CInterface to make SHA1 work properly;
2015-08-18, by wenzelm
more setup for native Windows (Pure and HOL session with image);
2015-08-18, by wenzelm
basic setup for native Windows (RAW session without image);
2015-08-17, by wenzelm
more complete build;
2015-08-17, by wenzelm
support for native x86-windows via MinGW32;
2015-08-17, by wenzelm
no ML_debugger support in Pure -- too complicated;
2015-08-17, by wenzelm
more careful propagation of ML_debugger option to Pure;
2015-08-17, by wenzelm
support for ML files with/without debugger information;
2015-08-17, by wenzelm
explicit debug flag for ML compiler;
2015-08-17, by wenzelm
tuned;
2015-08-17, by 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);
2015-08-17, by wenzelm
clarified initial ML name space (amending 7aad4be8a48e);
2015-08-16, by wenzelm
produce certified vars without access to theory_of_thm, and without context;
2015-08-16, by wenzelm
produce certified vars without access to theory_of_thm, and without context;
2015-08-16, by wenzelm
tuned;
2015-08-16, by wenzelm
added Thm.chyps_of;
2015-08-16, by wenzelm
prefer theory_id operations;
2015-08-16, by wenzelm
separate type theory_id;
2015-08-16, by wenzelm
delete precisely the added rules;
2015-08-16, by wenzelm
clarified context;
2015-08-16, by wenzelm
tuned whitespace;
2015-08-16, by wenzelm
tuned signature;
2015-08-16, by wenzelm
tuned;
2015-08-16, by wenzelm
tuned whitespace;
2015-08-15, by wenzelm
tuned whitespace;
2015-08-15, by wenzelm
obsolete;
2015-08-15, by wenzelm
clarified context;
2015-08-15, by wenzelm
clarified context;
2015-08-15, by wenzelm
tuned GUI;
2015-08-15, by wenzelm
proper setup of evaluation context;
2015-08-15, by wenzelm
tuned;
2015-08-15, by wenzelm
more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
2015-08-15, by wenzelm
allow to break running threads at next possible breakpoint (simplified version of former option, see f3039309702e);
2015-08-15, by wenzelm
tuned signature;
2015-08-15, by wenzelm
qualified adjust_*
2015-08-13, by haftmann
more lemmas
2015-08-13, by haftmann
unfold intermediate definitions (stemming from composition) in lifted bnf operations
2015-08-13, by traytel
merged
2015-08-13, by wenzelm
more standard options;
2015-08-13, by wenzelm
prefer official @{make_string};
2015-08-13, by wenzelm
tuned signature, in accordance to sortBy in Scala;
2015-08-13, by wenzelm
clarified modules;
2015-08-12, by wenzelm
tuned NEWS
2015-08-13, by traytel
actually process lift_bnf regression suite
2015-08-12, by traytel
NEWS, CONTRIBUTORS, documentation for lift_bnf
2015-08-12, by traytel
use lift_bnf in an example
2015-08-12, by traytel
new command for lifting BNF structure over typedefs
2015-08-12, by traytel
more thorough reload;
2015-08-12, by wenzelm
resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
2015-08-12, by wenzelm
merged
2015-08-12, by wenzelm
tuned colors;
2015-08-12, by wenzelm
clarified breakpoint rendering;
2015-08-12, by wenzelm
clarified;
2015-08-12, by wenzelm
default ML context for forks, e.g. relevant for debugging and toplevel pretty-printing;
2015-08-12, by wenzelm
clarified init/exit vs. session phase;
2015-08-12, by wenzelm
clarify type vs. term instantiation when forming closure;
2015-08-12, by Daniel Matichuk
more accurate dependencies;
2015-08-11, by wenzelm
tuned;
2015-08-11, by wenzelm
clarified thread re-selection;
2015-08-11, by wenzelm
clarified tree row handling;
2015-08-11, by wenzelm
proper context (amending 7aad4be8a48e);
2015-08-11, by wenzelm
suppress threads without debug state;
2015-08-11, by wenzelm
clarified events;
2015-08-11, by wenzelm
clarified GUI event handling;
2015-08-11, by wenzelm
tuned signature;
2015-08-11, by wenzelm
tuned;
2015-08-11, by wenzelm
misc tuning and clarification;
2015-08-11, by wenzelm
print values for stack entry;
2015-08-11, by wenzelm
clarified output;
2015-08-11, by wenzelm
default ML context for all command transactions, e.g. relevant for debugging and toplevel pretty-printing;
2015-08-11, by wenzelm
clarified break *point* position;
2015-08-11, by wenzelm
support hyperlinks with optional focus change;
2015-08-11, by wenzelm
tuned;
2015-08-11, by wenzelm
vacuous input means continue, e.g. after exit;
2015-08-11, by wenzelm
GUI actions depend on active debugger;
2015-08-11, by wenzelm
init/exit depending on active debugger panels;
2015-08-11, by wenzelm
eliminated cancel operation: disrupts normal evaluation of thread;
2015-08-11, by wenzelm
register thread such that cancel works;
2015-08-11, by wenzelm
clarified default selection;
2015-08-10, by wenzelm
report final debugger_state more robustly, e.g. after interrupt;
2015-08-10, by wenzelm
eliminated global option: breakpoints control this individually;
2015-08-10, by wenzelm
more uniform ScrollPane, like graphview;
2015-08-10, by wenzelm
tuned signature;
2015-08-10, by wenzelm
tuned rendering;
2015-08-10, by wenzelm
set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;
2015-08-10, by wenzelm
more thorough Encode.string;
2015-08-10, by wenzelm
added action to toggle breakpoints (on editor side);
2015-08-10, by wenzelm
sort lines;
2015-08-10, by wenzelm
rendering for debugger/breakpoint active state;
2015-08-10, by wenzelm
follow debugger focus;
2015-08-10, by wenzelm
tuned signature;
2015-08-10, by wenzelm
tuned imports;
2015-08-10, by wenzelm
tuned messages;
2015-08-10, by wenzelm
clarified ML options;
2015-08-10, by wenzelm
merged
2015-08-08, by wenzelm
more single stepping;
2015-08-08, by wenzelm
direct bootstrap of integer division from natural division
2015-08-08, by haftmann
slight cleanup of lemmas
2015-08-06, by haftmann
obsolete since no code generator without dictionary construction left
2015-08-06, by haftmann
make SML/NJ work;
2015-08-07, by wenzelm
suppress empty messages as usual;
2015-08-07, by wenzelm
proper Symbol.decode/encode;
2015-08-07, by wenzelm
eval ML context;
2015-08-07, by wenzelm
maintain history more often;
2015-08-07, by wenzelm
approximate old selection after update;
2015-08-06, by wenzelm
expand all rows for robustness and simplicity;
2015-08-06, by wenzelm
evaluate ML expressions within debugger context;
2015-08-06, by wenzelm
clarified debugger loop;
2015-08-06, by wenzelm
clarified thread state;
2015-08-06, by wenzelm
tuned;
2015-08-06, by wenzelm
more controls;
2015-08-06, by wenzelm
tuned;
2015-08-06, by wenzelm
clarified signature, to make debugger.ML compile with current official ML versions;
2015-08-06, by wenzelm
support for tree selection;
2015-08-05, by wenzelm
proper dynamic update;
2015-08-05, by wenzelm
tuned;
2015-08-05, by wenzelm
more GUI components;
2015-08-05, by wenzelm
tuned;
2015-08-05, by wenzelm
tuned;
2015-08-05, by wenzelm
more controls;
2015-08-05, by wenzelm
proper initialization;
2015-08-05, by wenzelm
tuned signature;
2015-08-05, by wenzelm
protocol support for thread debugger state;
2015-08-05, by wenzelm
eliminated clone;
2015-08-04, by wenzelm
merged
2015-08-04, by wenzelm
more symbols;
2015-08-04, by wenzelm
more symbols;
2015-08-04, by wenzelm
more documentation of coercions
2015-08-04, by traytel
merged
2015-07-30, by wenzelm
clarified management of (single) session;
2015-07-30, by wenzelm
maintain debugger output messages;
2015-07-30, by wenzelm
provide CharSequence operations as well;
2015-07-30, by wenzelm
more GUI components;
2015-07-29, by wenzelm
tuned;
2015-07-29, by wenzelm
separate channel for debugger output;
2015-07-29, by wenzelm
clarified thread name;
2015-07-29, by wenzelm
add coinduction rule for infinite
2015-07-30, by Andreas Lochbihler
merged
2015-07-28, by wenzelm
clarified context;
2015-07-28, by wenzelm
more explicit context;
2015-07-28, by wenzelm
eliminated dead code;
2015-07-28, by wenzelm
clarified Variable.gen_all;
2015-07-28, by wenzelm
more explicit context;
2015-07-28, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-448
+448
+1000
+3000
+10000
tip