[isabelle-dev] http://isabelle.in.tum.de/reports/Isabelle

Makarius makarius at sketis.net
Tue Oct 6 21:40:10 CEST 2015

Previous message (by thread): [isabelle-dev] HOL-Proofs broken?
Next message (by thread): [isabelle-dev] http://isabelle.in.tum.de/reports/Isabelle
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

What is the situation with mira reports?  The website shows a default 
Mercurial view, without any test results.


 	Makarius

Previous message (by thread): [isabelle-dev] HOL-Proofs broken?
Next message (by thread): [isabelle-dev] http://isabelle.in.tum.de/reports/Isabelle
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list