- Stored good idea.

This commit is contained in:
ccremers 2006-01-09 11:56:44 +00:00
parent baf1856943
commit f0715c030d

View File

@ -1,3 +1,5 @@
- Scyther mailing list especially for students, this is where they
should report any questions, when Erik starts the course.
- It is currently not well-defined to define inversekeys within a role:
this requires some work at instantiation, because instantiated term
couples should be added to the inverses list, and removed at