[isabelle-dev] Haskabelle update?

Makarius makarius at sketis.net
Sun Apr 29 16:51:04 CEST 2012

Previous message (by thread): [isabelle-dev] Alternative approach to »efficient« natural numbers
Next message (by thread): [isabelle-dev] CAN CONTROLLER AREA NETWORK
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Who is maintaining Haskabelle?  Are there plans to update it for the 
coming release?

So far I have bundled Haskabelle2011-1.tar.gz from last time.


 	Makarius

Previous message (by thread): [isabelle-dev] Alternative approach to »efficient« natural numbers
Next message (by thread): [isabelle-dev] CAN CONTROLLER AREA NETWORK
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list