| Sat, 01 Nov 1997 13:02:19 +0100 | paulson | New syntax function for types | changeset | files |
| Sat, 01 Nov 1997 13:01:57 +0100 | paulson | Faster lexing | changeset | files |
| Sat, 01 Nov 1997 13:01:07 +0100 | paulson | New way of referring to Basis Library | changeset | files |
| Sat, 01 Nov 1997 13:00:31 +0100 | paulson | mended type constraint\! | changeset | files |
| Sat, 01 Nov 1997 13:00:03 +0100 | paulson | Set.thy was too specific | changeset | files |
| 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 |