]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/profile-manager/index.html
1. Several files in grafite that should be in grafite_parser moved there.
[helm.git] / helm / DEVEL / profile-manager / index.html
1 <html>
2
3 <frameset rows="75%,*">
4   <frame src="control.html" name="control"/>
5   <frame src="welcome.html" name="result"/>
6 </frameset>
7
8 </html>