Mon, 05 Sep 2016 23:11:00 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Thu, 14 Apr 2016 16:59:47 +0200 |
wenzelm |
avoid misleading Simplifier trace in quickcheck, notably in auto quickcheck;
|
file |
diff |
annotate
|
Thu, 03 Mar 2016 15:23:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Fri, 17 Jul 2015 21:00:41 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 21 Jul 2014 20:36:25 +0200 |
wenzelm |
refer to Simplifier Trace panel on first invocation;
|
file |
diff |
annotate
|
Mon, 21 Jul 2014 17:37:22 +0200 |
wenzelm |
regular message to refer to Simplifier Trace panel (unused);
|
file |
diff |
annotate
|
Mon, 21 Jul 2014 16:49:06 +0200 |
wenzelm |
misc tuning and simplification;
|
file |
diff |
annotate
|
Mon, 21 Jul 2014 16:04:45 +0200 |
wenzelm |
clarified "simp_trace_new" and corresponding isar-ref section;
|
file |
diff |
annotate
|
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
|