ToBeDeleted
ToBeDeleted |
|
ViewCVS and CVS Help |
| Current directory: | [Cover] / ToBeDeleted |
| Files shown: | 1 |
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
Agsy/
|
||||
NewFeatures.agda
|
1.4 | 2 years | daisuke | modify again to let the Examples/NewFeatures.agda pass by the current Agda * 'i... |
| No CVS admin address has been configured |
Powered by ViewCVS 0.9.2 |