diff options
| author | Makarius Wenzel | 2000-06-04 12:37:17 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-04 12:37:17 +0000 |
| commit | 177a4fdf3ef6fe51c1721595088d0e779da26991 (patch) | |
| tree | ffb9d8dadb3ecca354e6040978b817d3b021a091 /html/projects.phtml | |
| parent | 87e6f0630d21ff06a902cac8de98e942fab274dc (diff) | |
replaced isar-verbatim by isabelle-verbatim;
fixed output syntax table;
Diffstat (limited to 'html/projects.phtml')
0 files changed, 0 insertions, 0 deletions