diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-09-27 20:14:11 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-27 20:14:11 +0000 |
commit | cf3a7463ade0ffe5a3f20c900cad898074b1a4e4 (patch) | |
tree | 4d5bc5525cb79abf3c81ec660b829e2b351bd6fb /twelf | |
parent | 3dfbd6f1124c4f67633d7163e6e4a473bf9ed346 (diff) |
** C func-menu: observe proof-syntactic-context (general problem of
func-menu setup?);
Diffstat (limited to 'twelf')
0 files changed, 0 insertions, 0 deletions