| Wed, 21 May 2014 16:26:04 +0200 |
Lars Hupel |
consolidate "break_thm" and "break_term" attributes into "simp_break";
|
file |
diff |
annotate
|
| Mon, 31 Mar 2014 10:28:08 +0200 |
wenzelm |
support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 17:55:39 +0100 |
Lars Hupel |
tuned
|
file |
diff |
annotate
|
| Wed, 19 Feb 2014 20:07:31 +0100 |
wenzelm |
removed dead code;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 20:37:45 +0100 |
wenzelm |
proper term equality;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 18:29:02 +0100 |
wenzelm |
more standard names for protocol and markup elements;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 17:26:13 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Tue, 11 Feb 2014 11:30:33 +0100 |
Lars Hupel |
"no_memory" option for the simplifier trace to bypass memoization
|
file |
diff |
annotate
|
| Wed, 05 Feb 2014 15:44:32 +0100 |
Lars Hupel |
made SML/NJ happy
|
file |
diff |
annotate
|
| Tue, 04 Feb 2014 09:04:59 +0000 |
Lars Hupel |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file |
diff |
annotate
|
| Thu, 12 Dec 2013 22:38:25 +0100 |
wenzelm |
clarified Trace_Ops: global theory data avoids init of simpset in Pure.thy, which is important to act as neutral element in merge;
|
file |
diff |
annotate
|
| Thu, 12 Dec 2013 21:28:13 +0100 |
wenzelm |
skeleton for Simplifier trace by Lars Hupel;
|
file |
diff |
annotate
|