Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [local] / OpenXM / src / asir-contrib / testing / noro
Current tag: RELEASE_1_2_3_12
File | Rev. | Age | Author | Last log entry |
---|---|---|---|---|
Parent Directory | ||||
Attic/ [Don't hide] | ||||
obsolete/ | ||||
gw.rr | 1.2 | 16 years | noro | Removed tolex_gw(). |
de.rr | 1.1 | 18 years | noro | Added de.rr for modular dynamic evaluation. |
new_rewrite.rr | 1.3 | 18 years | noro | Added de.rr for modular dynamic evaluation. |
rewrite.rr | 1.2 | 18 years | noro | Modified according to the renaming of quote functions. |
integral.rr | 1.1 | 18 years | noro | Added test files for term rewriting and simplification. |
normalize.rr | 1.1 | 18 years | noro | Added test files for term rewriting and simplification. |