[isabelle-dev] AFP status page

Gerwin Klein gerwin.klein at nicta.com.au
Mon Apr 4 01:26:55 CEST 2011

Next message (by thread): [isabelle-dev] I'd like to better understand some operations from Local_Theory.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

There is now an AFP status page that gives an overview of the results in the nightly AFP test:

http://afp.sourceforge.net/status.shtml

Cheers,
Gerwin

Next message (by thread): [isabelle-dev] I'd like to better understand some operations from Local_Theory.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list