source: branches/acl2-egc/aux/cocotron/win32/cocotron/issue516/issue516.xcodeproj

Name Size Rev Age Author Last Change
../
project.pbxproj 20.4 KB ​ 13478   15 years Gary Palter Add test case for Cocotron issue 516
  • Property svn:ignore set to
    *.mode1v3
    *.mode2v3
    *.pbxuser
Note: See TracBrowser for help on using the repository browser.