| Mon, 18 Apr 2005 10:36:05 +0200 | paulson | deleted obsolete code | changeset | files |
| Mon, 18 Apr 2005 09:25:23 +0200 | ballarin | Interpretation supports statically scoped attributes; documentation. | changeset | files |
| Sun, 17 Apr 2005 19:40:43 +0200 | wenzelm | updated; | changeset | files |
| Sun, 17 Apr 2005 19:40:34 +0200 | wenzelm | added delete_safe, insert, remove, remove_multi; | changeset | files |
| Sun, 17 Apr 2005 19:39:39 +0200 | wenzelm | clarified insert/remove; | changeset | files |
| Sun, 17 Apr 2005 19:39:11 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 17 Apr 2005 19:38:53 +0200 | wenzelm | binds/thms: do not store options, but delete from table; | changeset | files |
| Sun, 17 Apr 2005 19:38:40 +0200 | wenzelm | tuned comments; | changeset | files |