Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Commit [7c7d19] Isabelle2003 Maximize Restore History

fixed name

lsf37 lsf37 2004-03-23

copied web/entries/MiniML.shmtl -> web/entries/MiniML.shtml
web/entries/MiniML.shmtl to web/entries/MiniML.shtml
--- a/web/entries/MiniML.shmtl
+++ b/web/entries/MiniML.shtml
@@ -86,6 +86,6 @@
 <!-- entry data end -->
 
 </td> </tr> </table>
-<div align="right" class="date">$Date: 2004-03-19 03:29:28 $, $Revision: 1.1 
+<div align="right" class="date">$Date: 2004-03-23 06:23:47 $, $Revision: 1.1 
 $</div></body>
 </html>