[isabelle-dev] NEWS

Gerwin Klein gerwin.klein at nicta.com.au
Tue Dec 2 22:08:08 CET 2008

Previous message (by thread): [isabelle-dev] NEWS
Next message (by thread): [isabelle-dev] NEWS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Makarius wrote:
> It is already there, together with some other things that people tend to 
> commit by accident:

Too fast for me ;-)

Gerwin

Previous message (by thread): [isabelle-dev] NEWS
Next message (by thread): [isabelle-dev] NEWS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list