| Tue, 10 May 2005 18:37:43 +0200 |
paulson |
new cterm primitives
|
changeset |
files
|
| Tue, 10 May 2005 10:25:21 +0200 |
paulson |
oops...cannot use subst here
|
changeset |
files
|
| Tue, 10 May 2005 06:59:32 +0200 |
kleing |
table centering, headline 'other platform'
|
changeset |
files
|
| Mon, 09 May 2005 16:40:37 +0200 |
paulson |
unfolding of Ex1
|
changeset |
files
|
| Mon, 09 May 2005 16:40:11 +0200 |
paulson |
choice_const moved to hologic.ML
|
changeset |
files
|
| Mon, 09 May 2005 16:38:56 +0200 |
paulson |
from simplesubst to new subst
|
changeset |
files
|
| Mon, 09 May 2005 16:02:45 +0200 |
haftmann |
minor corrections
|
changeset |
files
|
| Mon, 09 May 2005 02:03:48 +0200 |
kleing |
made file links local, smoothed text over in some places
|
changeset |
files
|
| Mon, 09 May 2005 02:03:01 +0200 |
kleing |
made file list nicer
|
changeset |
files
|
| Mon, 09 May 2005 02:02:25 +0200 |
kleing |
moved description (dist area) out of link
|
changeset |
files
|
| Mon, 09 May 2005 01:39:06 +0200 |
kleing |
made download links local, provide explicit list of files to download
|
changeset |
files
|
| Mon, 09 May 2005 01:32:47 +0200 |
kleing |
shortened
|
changeset |
files
|
| Sun, 08 May 2005 22:18:12 +0200 |
wenzelm |
MAILTO: makarius@sketis.net
|
changeset |
files
|
| Fri, 06 May 2005 18:01:44 +0200 |
dixon |
lucas - added ability to provide multiple replacements for subst: syntax is now: subst (1 3) myrule
|
changeset |
files
|
| Fri, 06 May 2005 16:03:56 +0200 |
haftmann |
added notes for mac os
|
changeset |
files
|