| Thu, 27 Jun 2013 17:36:06 +0200 |
wenzelm |
proper bold versions of 00ac (logicalnot), 00b0 (degree);
|
changeset |
files
|
| Thu, 27 Jun 2013 17:06:22 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 27 Jun 2013 12:34:58 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 27 Jun 2013 11:33:42 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 27 Jun 2013 11:07:48 +0200 |
wenzelm |
clarified printing of type constraints vs. annotations, notably in goal display with its Type_Annotation.ignore_free_types;
|
changeset |
files
|
| Thu, 27 Jun 2013 10:35:37 +0200 |
wenzelm |
updated documentation;
|
changeset |
files
|
| Thu, 27 Jun 2013 10:14:17 +0200 |
wenzelm |
actually use Data.sizef, not hardwired size_of_thm;
|
changeset |
files
|
| Thu, 27 Jun 2013 10:08:41 +0200 |
wenzelm |
more scalable PARALLEL_GOALS, using more elementary retrofit;
|
changeset |
files
|
| Thu, 27 Jun 2013 10:11:11 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Wed, 26 Jun 2013 22:18:06 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 26 Jun 2013 21:48:23 +0200 |
wenzelm |
less intrusive SELECT_GOAL: merely rearrange subgoals without detaching goal state, and thus preserve maxidx context;
|
changeset |
files
|
| Wed, 26 Jun 2013 18:38:03 +0200 |
wenzelm |
SOMEthing went utterly wrong;
|
changeset |
files
|
| Wed, 26 Jun 2013 11:54:45 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 26 Jun 2013 09:58:39 +0200 |
wenzelm |
more position information for markup;
|
changeset |
files
|