Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed test
authoroheimb
Fri, 20 Dec 1996 10:54:01 +0100
changeset 2465 44ee3255555c
parent 2464 bed0b5854a83
child 2466 5220fb014f8a
removed test
src/HOLCF/cvstest file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/cvstest	Fri Dec 20 10:49:38 1996 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-   asdfa  dsf
-   yxcv
-qwerqewrqwer
-brabbel
\ No newline at end of file
isabelle