Sat, 20 Oct 2001 20:20:41 +0200 | wenzelm | added TextIO.stdErr; | changeset | files |
Sat, 20 Oct 2001 20:20:21 +0200 | wenzelm | include document graph; | changeset | files |
Sat, 20 Oct 2001 20:19:47 +0200 | wenzelm | document graphs for several sessions; | changeset | files |
Sat, 20 Oct 2001 20:18:57 +0200 | wenzelm | tuned; | changeset | files |
Sat, 20 Oct 2001 20:18:45 +0200 | wenzelm | calculational rules moved from FOL to IFOL; | changeset | files |
Sat, 20 Oct 2001 20:18:19 +0200 | wenzelm | option -g for document graph; | changeset | files |