adding proof directory for analysisrl
authorjgrosseo <jgrosseo@f7af4fe6-9843-0410-8265-dc069ae4e863>
Thu, 22 Mar 2007 14:12:25 +0000 (14:12 +0000)
committerjgrosseo <jgrosseo@f7af4fe6-9843-0410-8265-dc069ae4e863>
Thu, 22 Mar 2007 14:12:25 +0000 (14:12 +0000)
commitb294de05f91f5776aac81b83a2e3866e39808ca9
tree1a50ec2c574aa8e4e462bf6b0012d2c1b8f1dc55
parent9aa59849b7d0f0d7404b0729ab1b7cfd7e3b9462
adding proof directory for analysisrl
ANALYSIS/PROOF-INF.ANALYSISRL/BUILD.sh [new file with mode: 0755]
ANALYSIS/PROOF-INF.ANALYSISRL/SETUP.C [new file with mode: 0644]