Fri, 01 Dec 2000 19:41:45 +0100 |
wenzelm |
removed quick_and_dirty;
|
changeset |
files
|
Fri, 01 Dec 2000 19:41:09 +0100 |
wenzelm |
superscripts: syntax (latex);
|
changeset |
files
|
Fri, 01 Dec 2000 19:40:42 +0100 |
wenzelm |
usedir: -m option;
|
changeset |
files
|
Fri, 01 Dec 2000 19:40:18 +0100 |
wenzelm |
added \mathcal A-Z;
|
changeset |
files
|
Fri, 01 Dec 2000 19:39:54 +0100 |
wenzelm |
option -m;
|
changeset |
files
|
Fri, 01 Dec 2000 13:47:37 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Fri, 01 Dec 2000 12:15:47 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Fri, 01 Dec 2000 11:03:31 +0100 |
paulson |
many new div and mod properties (borrowed from Integ/IntDiv)
|
changeset |
files
|
Fri, 01 Dec 2000 11:02:55 +0100 |
paulson |
renamed less_eq_Suc_add to less_imp_Suc_add
|
changeset |
files
|
Thu, 30 Nov 2000 20:18:00 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 30 Nov 2000 20:14:25 +0100 |
wenzelm |
removed "./configure";
|
changeset |
files
|
Thu, 30 Nov 2000 20:10:29 +0100 |
wenzelm |
/usr/bin/env bash;
|
changeset |
files
|