| Tue, 29 Apr 2014 13:32:13 +0200 |
wenzelm |
more systematic Isabelle output, like in classic Isabelle/ML (without markup);
|
file |
diff |
annotate
|
| Fri, 25 Apr 2014 13:29:56 +0200 |
wenzelm |
replaced manager Actor by Consumer_Thread, which is lazy to defer its start to actual Handler init time;
|
file |
diff |
annotate
|
| Fri, 25 Apr 2014 12:59:33 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Fri, 25 Apr 2014 12:51:08 +0200 |
wenzelm |
clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 14:54:17 +0200 |
wenzelm |
more general prover operations;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 13:46:18 +0200 |
wenzelm |
more general prover operations;
|
file |
diff |
annotate
|
| Wed, 02 Apr 2014 20:22:12 +0200 |
wenzelm |
more explicit iterator terminology, in accordance to Scala 2.8 library;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 11:41:32 +0100 |
Lars Hupel |
removed bogus "error" message (it appeared during regular mode of operation)
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 18:43:47 +0100 |
wenzelm |
prefer concrete list append;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 18:29:02 +0100 |
wenzelm |
more standard names for protocol and markup elements;
|
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
|
| 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 21:28:13 +0100 |
wenzelm |
skeleton for Simplifier trace by Lars Hupel;
|
file |
diff |
annotate
|