| Sat, 16 Apr 2005 18:57:18 +0200 |
wenzelm |
tuned (t)inst_tab_elem;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:56:48 +0200 |
wenzelm |
added 'no_syntax' command;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:56:37 +0200 |
wenzelm |
added del_modesyntax(_i);
|
changeset |
files
|
| Sat, 16 Apr 2005 18:56:21 +0200 |
wenzelm |
added del_modesyntax(_i);
|
changeset |
files
|
| Sat, 16 Apr 2005 18:55:51 +0200 |
wenzelm |
added gen_remove, remove;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:55:28 +0200 |
wenzelm |
Pure: command 'no_syntax' removes grammar declarations;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:54:44 +0200 |
wenzelm |
removed;
|
changeset |
files
|
| Sat, 16 Apr 2005 00:17:52 +0200 |
huffman |
speed improvements for the domain package
|
changeset |
files
|
| Sat, 16 Apr 2005 00:16:44 +0200 |
huffman |
New file for theorems used by the domain package
|
changeset |
files
|
| Fri, 15 Apr 2005 18:43:35 +0200 |
nipkow |
rermoved pointless example
|
changeset |
files
|
| Fri, 15 Apr 2005 18:16:05 +0200 |
paulson |
yet more tidying up: removal of some references to Main
|
changeset |
files
|
| Fri, 15 Apr 2005 17:03:35 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Fri, 15 Apr 2005 14:14:24 +0200 |
nipkow |
New
|
changeset |
files
|
| Fri, 15 Apr 2005 13:35:53 +0200 |
paulson |
more tidying up of the SPASS interface
|
changeset |
files
|
| Fri, 15 Apr 2005 12:00:00 +0200 |
ballarin |
Removed most of the atp interface from Pure.
|
changeset |
files
|