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: [Public] / daml-2000-10
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon}
Previous Directory
| ||||
![[DIR]](/icons/dir.gif){kind=icon}
Attic/
[Don't hide] | ||||
![[TXT]](/icons/text.gif){kind=icon}
daml-ont.daml
| 1.2 | 7 years | connolly | retracted bogus implication that equivalentTo implies subPropertyOf and subClass... |
|
daml-oil.html
| 1.1 | 7 years | connolly | per deb |
|
daml-walkthru.html
| 2.0 | 7 years | connolly | trying to reset sticky -ko option |
|
announcement.txt
| 1.1 | 7 years | connolly | copied from daml.org web site |
|
daml-ont.html
| 1.1 | 7 years | connolly | copied from daml.org web site |
|
daml-ex.daml
| 1.1.1.1 | 7 years | connolly | in order to facilitate collaboration... e.g. keep the copy on www.daml.org up to... |
|
daml-num.daml
| 1.1.1.1 | 7 years | connolly | in order to facilitate collaboration... e.g. keep the copy on www.daml.org up to... |