ahamilton/eris
1
0
Fork 0
Code Releases Activity

Added a test for PHP.

Browse source
This commit is contained in:
Andrew Hamilton 2016-02-09 21:48:09 +00:00
parent db660521fa
commit 7829bad0ec
3 changed files with 17 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
golden-files/results/bcpp-root_php Normal file
View file

@ -0,0 +1,7 @@
<?php
 ////////////////////////////////////
 // I am not Isabelle ROOT //
 ////////////////////////////////////
?>