diff options
| author | Makarius Wenzel | 2000-07-08 14:28:48 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-07-08 14:28:48 +0000 |
| commit | 6289242baa74267064cfde04f6a95565eceed171 (patch) | |
| tree | afa0a38c270c427322c939dd2520487d14e18fb6 /html/feedback.phtml | |
| parent | 761d9aac830e435e59dcb97ae31a43fdcb5ac10f (diff) | |
proof-prog-name: use isabelle-command-line;
Diffstat (limited to 'html/feedback.phtml')
0 files changed, 0 insertions, 0 deletions