Commits · 722f1ad2af40de9fed6346f123126ca669487304 · obsidiansystems / GHC

12 May, 2000 3 commits
- [project @ 2000-05-12 16:53:16 by rrt] · 722f1ad2
  rrt authored May 12, 2000
```
Corrected TOP.
```
  722f1ad2
- [project @ 2000-05-12 16:49:42 by rrt] · fafc16e4
  rrt authored May 12, 2000
```
Reorganisation to parametrise *.sh files on name of Jade, which is
now found by the configure script.
```
  fafc16e4
- [project @ 2000-05-12 15:46:26 by rrt] · e4638fc0
  rrt authored May 12, 2000
```
Makes db2html from db2html.sh
```
  e4638fc0