| Sat, 23 Apr 2005 19:49:26 +0200 |
wenzelm |
removed Pure/Syntax/token_trans.ML Pure/Thy/ROOT.ML Pure/Proof/ROOT.ML Pure/Isar/isar.ML;
|
changeset |
files
|
| Sat, 23 Apr 2005 19:49:16 +0200 |
wenzelm |
_gt, _gt: syntax instead of consts;
|
changeset |
files
|
| Sat, 23 Apr 2005 19:49:08 +0200 |
wenzelm |
cover CPure.- and CPure._ as well;
|
changeset |
files
|
| Sat, 23 Apr 2005 19:49:01 +0200 |
wenzelm |
content moved to outer_syntax.ML;
|
changeset |
files
|
| Sat, 23 Apr 2005 19:48:40 +0200 |
wenzelm |
content moved to Pure/ROOT.ML;
|
changeset |
files
|
| Sat, 23 Apr 2005 19:48:15 +0200 |
wenzelm |
removed obsolete xterm token translations;
|
changeset |
files
|
| Fri, 22 Apr 2005 17:32:46 +0200 |
paulson |
removed last occurrences of OS.Process.sleep
|
changeset |
files
|
| Fri, 22 Apr 2005 17:32:29 +0200 |
paulson |
x-symbol syntax
|
changeset |
files
|
| Fri, 22 Apr 2005 17:32:03 +0200 |
paulson |
tidied
|
changeset |
files
|
| Fri, 22 Apr 2005 15:10:42 +0200 |
dixon |
lucas - fixed a big with renaming of bound variables. Other small changes.
|
changeset |
files
|
| Fri, 22 Apr 2005 14:15:01 +0200 |
isatest |
run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around
|
changeset |
files
|
| Fri, 22 Apr 2005 04:12:24 +0200 |
kleing |
added PG hang to FAQ
|
changeset |
files
|
| Fri, 22 Apr 2005 02:09:10 +0200 |
kleing |
tuned
|
changeset |
files
|
| Fri, 22 Apr 2005 02:03:52 +0200 |
kleing |
howto for changing web pages, simplified makefile access
|
changeset |
files
|