| Sat, 01 Nov 1997 12:59:06 +0100 | paulson | New Blast_tac (and minor tidying...) | changeset | files |
| Sat, 01 Nov 1997 12:58:08 +0100 | paulson | Auto update | changeset | files |
| Sat, 01 Nov 1997 12:57:01 +0100 | wenzelm | propagate exn msg; | changeset | files |
| Fri, 31 Oct 1997 15:28:01 +0100 | wenzelm | dup sections: warning instead of error; | changeset | files |
| Fri, 31 Oct 1997 15:21:59 +0100 | wenzelm | Session, Context; | changeset | files |
| Fri, 31 Oct 1997 15:21:32 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 31 Oct 1997 15:20:20 +0100 | wenzelm | added mixfix_args; | changeset | files |
| Fri, 31 Oct 1997 15:19:50 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 31 Oct 1997 15:15:06 +0100 | wenzelm | added str_of_sg: sg -> string; | changeset | files |
| Thu, 30 Oct 1997 17:05:20 +0100 | wenzelm | added mixfix_args; | changeset | files |
| Thu, 30 Oct 1997 17:04:54 +0100 | wenzelm | tuned thy_data; | changeset | files |
| Thu, 30 Oct 1997 17:01:50 +0100 | wenzelm | tuned init_data; | changeset | files |