[isabelle] Automatically formatting Isabelle proof



Hello Li and all,

thanks for the offering. Could you click on menu item Help.Get Academic License, which should produce an URL like

https://cococo.de/Context_IT_GmbH/index.jsp?content=license&detail=send&type=school&produkt=Elbe&version=1.69&winid=00426-oem-1111111-22222&language=en ,

and fill out the form?

What does the server answer? Pls. send a screen shot and tell me the IP address of your client.

Greetings,
Jens
----------------------------
http://www.cococo.de/
----------------------------------
http://www.uni-hamburg.de/
----------------------------------





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.