| 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
|
| Wed, 26 Jun 2013 18:26:00 +0200 |
smolkas |
tuned: cleaned up data structure
|
changeset |
files
|
| Wed, 26 Jun 2013 18:25:13 +0200 |
smolkas |
simplified data structure
|
changeset |
files
|
| Wed, 26 Jun 2013 18:24:41 +0200 |
smolkas |
ommit trivial tfrees in annotations
|
changeset |
files
|
| Tue, 25 Jun 2013 17:13:09 -0500 |
Stephen W. Nuchia |
Generalize trace_mult_sym to square products of non-square matrices.
|
changeset |
files
|