test by chunhan.txt
author urbanc
Thu, 21 Oct 2010 13:42:08 +0000
changeset 7 86167563a1ed
parent 4 f20f391b21fa
permissions -rw-r--r--
deleted the matcher ate the beginning; made it to work with stable Isabelle and the development version
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4
f20f391b21fa Add a test file, after testing, this file can be deleted.
wu
parents:
diff changeset
     1
It seems that I can write in this repository!
f20f391b21fa Add a test file, after testing, this file can be deleted.
wu
parents:
diff changeset
     2
Thanks, Christian!