Fri, 10 Oct 1997 15:46:50 +0200 | wenzelm | added longid; | changeset | files |
Fri, 10 Oct 1997 15:44:48 +0200 | wenzelm | decode: qualified is always const; | changeset | files |
Fri, 10 Oct 1997 14:51:58 +0200 | wenzelm | tuned; | changeset | files |
Thu, 09 Oct 1997 18:01:27 +0200 | wenzelm | \n at end; | changeset | files |
Thu, 09 Oct 1997 17:45:03 +0200 | wenzelm | ensure that dots in formulas are followed by non-idents; | changeset | files |
Thu, 09 Oct 1997 17:20:15 +0200 | wenzelm | *** empty log message *** | changeset | files |
Thu, 09 Oct 1997 15:06:49 +0200 | wenzelm | no longer handles consts "" -- use syntax instead; | changeset | files |