Index of /
| Files shown: | 0 |
| Directory revision: | 6108 (of 6108) |
| Sticky Revision: |
File
|
Rev. | Age | Author | Last log entry | |
|---|---|---|---|---|---|
HOL/
|
6108 | 13 hours | michaeln | HOL should now accept UTF8 input as well, so cutting and pasting "special" chara... | |
|
branches/
|
6104 | 4 days | homeier | Modified Term.type_subst, to now raise the rank of the target of the substitutio... | |
|
tags/
|
5658 | 10 months | michaeln | Create a new RELEASES sub-directory within tags, which is full of all sorts of u... | |