Thu, 21 Oct 2010 13:42:08 +0000 urbanc deleted the matcher ate the beginning; made it to work with stable Isabelle and the development version
(0) -1 +1 +10 +30 +100 +300 tip