| commit | 2c2a5ddb0fa9af492351983c7fba155be869e983 | |
| author | Jean-Christophe Filliâtre <jean-christophe.filliatre@inria.fr> | |
| Thu, 2 May 2024 08:22:45 +0000 (2 10:22 +0200) | ||
| committer | Jean-Christophe Filliâtre <jean-christophe.filliatre@inria.fr> | |
| Thu, 2 May 2024 08:22:45 +0000 (2 10:22 +0200) | ||
| tree | ab63280827103bf4dd3c7c6f95f7124ef94e095d | treesnapshot (tar.gz zip) |
| parent | c2cfa1c1792e6c2e9877cea168a59f226d8434c5 | commitdiff |
new example: proper cuts
| examples/proper_cuts.mlw | [new file with mode: 0644] | blob |
| examples/proper_cuts/why3session.xml | [new file with mode: 0644] | blob |
| examples/proper_cuts/why3shapes.gz | [new file with mode: 0644] | blob |