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: [Haskell Repository] / programatica / tools
| File | Rev. | Age | Last log entry | |
|---|---|---|---|---|
![[BACK]](/cvsweb/icons/back.gif){kind=icon} Parent Directory |
||||
![[DIR]](/cvsweb/icons/dir.gif){kind=icon} Hs2HOL/ |
||||
| Phugs/ |
||||
| TFF/ |
||||
| base/ |
||||
| evman/ |
||||
| hs2alfa/ |
||||
| hs2html/ |
||||
| hs2isabelle/ |
||||
| hs2stratego/ |
||||
| hsutils/ |
||||
| interp/ |
||||
| pfe/ |
||||
| pg2hol/ |
||||
| pg2svc/ |
||||
| prop2hol/ |
||||
| property/ |
||||
| scripts/ |
||||
| semantics/ |
||||
| web/ |
||||
![[TXT]](/cvsweb/icons/text.gif){kind=icon} ChangeLog |
1.4 | 22 months | Testing again. | |
| HEADER.html |
1.18 | 3 years | HTML bug fix. | |
| HuMakefile |
1.2 | 4 years | Generate HTML also for the hs2alfa/ stuff. | |
| INSTALL.html |
1.15 | 22 months | Capitalized title in INSTALL.html | |
| LICENSE |
1.3 | 5 years | Replaced the license text by the approved version. Added a site navigation link ... | |
| Makefile |
1.42 | 2 years | Adding the ChangeLog file to the CVS repository. This file lists mostly user vis... | |
| README.html |
1.24 | 3 years | Spelling of P-logic. | |
| configure |
1.8 | 22 months | Consult the environment variable INTERNETLIB on where to look for InternetLib. | |
| features.html |
1.15 | 2 years | Added a note about the special {-P: -} comment syntax. | |
| find-uses |
1.1 | 7 years | Two useful utilities for finding occurrences of functions in the source, and a s... | |
| find-word |
1.1 | 7 years | Two useful utilities for finding occurrences of functions in the source, and a s... | |
| titles |
1.1 | 3 years | Collected source tree directory titles | |
| usage.html |
1.9 | 3 years | Documentation update. | |