| Tue, 07 Jan 2014 23:44:33 +0100 |
wenzelm |
uniform output of tracing via official channel (usually depending on trace flag);
|
changeset |
files
|
| Tue, 07 Jan 2014 12:05:49 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Mon, 06 Jan 2014 23:00:11 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 06 Jan 2014 19:59:43 +0100 |
wenzelm |
more informative error message;
|
changeset |
files
|
| Mon, 06 Jan 2014 19:47:11 +0100 |
wenzelm |
obsolete / unmaintained;
|
changeset |
files
|
| Mon, 06 Jan 2014 19:42:52 +0100 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Mon, 06 Jan 2014 17:47:44 +0100 |
wenzelm |
more formal ISABELLE_BROWSER_INFO;
|
changeset |
files
|
| Mon, 06 Jan 2014 17:33:23 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Mon, 06 Jan 2014 19:55:01 +0100 |
haftmann |
dropped legacy
|
changeset |
files
|
| Mon, 06 Jan 2014 09:31:21 +0100 |
haftmann |
order and graph for code symbols
|
changeset |
files
|
| Mon, 06 Jan 2014 09:31:19 +0100 |
haftmann |
special treatment of ==> and == solely as constants
|
changeset |
files
|
| Mon, 06 Jan 2014 09:31:18 +0100 |
haftmann |
uniform orientation of instances as (type constructor, type class)
|
changeset |
files
|
| Sun, 05 Jan 2014 18:59:29 +0100 |
nipkow |
minimized class dependency, updated references
|
changeset |
files
|
| Fri, 03 Jan 2014 22:04:44 +0100 |
haftmann |
proper context for simplifier invocations in code generation stack
|
changeset |
files
|