]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/html/moogle_chat.html
Added new function compare_metasenvs.
[helm.git] / helm / searchEngine / html / moogle_chat.html
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2 <html>
3   <head>
4     <title></title>
5   </head>
6
7   <body>
8     <h1></h1>
9
10
11
12     <hr>
13     <address><a href="mailto:asperti@">Andrea Asperti</a></address>
14 <!-- Created: Fri Jun 11 09:12:10 CEST 2004 -->
15 <!-- hhmts start -->
16 Last modified: Fri Jun 11 12:47:42 CEST 2004
17 <!-- hhmts end -->
18   </body>
19 </html>