Commit Graph

2 Commits

Author SHA1 Message Date
Juergen Schmidt
65a51aef81 insert new option -nD (no dependent types are generated) 2001-03-06 07:17:55 +00:00
Jens-Heiner Rechtien
b525a3115f initial import 2000-09-18 14:29:57 +00:00