diff options
| author | Makarius Wenzel | 2000-07-01 18:10:26 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-07-01 18:10:26 +0000 |
| commit | 1662113a1ab9ae8d490c76eb07a518a0375cd599 (patch) | |
| tree | d1c92ae90c0f5d047a49bef963be8cb3da68ee8e /html/proofgen.css | |
| parent | cacebfbf622be011245d29fb783687648b27fb50 (diff) | |
improved help menu;
replaced "help" by "welcome";
Diffstat (limited to 'html/proofgen.css')
0 files changed, 0 insertions, 0 deletions