Revision 179af541fbdf02d4f5013b1ec5a4b8dff5a623fa authored by François Dupressoir on 22 April 2016, 14:34:11 UTC, committed by François Dupressoir on 22 April 2016, 14:44:11 UTC
This kind of argument is currently difficult to use, but formalizing and using them should give us hints as to what we can and should do to support them more cleanly. This one will be used, once generalized further and cleaned up, to simplify Dice_sampling.
1 parent db89cbe
| File | Mode | Size |
|---|---|---|
| config | ||
| examples | ||
| lint | ||
| packaging | ||
| proofgeneral | ||
| scripts | ||
| src | ||
| system | ||
| theories | ||
| .dir-locals.el | -rw-r--r-- | 284 bytes |
| .gitignore | -rw-r--r-- | 504 bytes |
| .merlin | -rw-r--r-- | 217 bytes |
| COPYRIGHT | -rw-r--r-- | 685 bytes |
| COPYRIGHT.yaml | -rw-r--r-- | 666 bytes |
| MANIFEST | -rw-r--r-- | 1.2 KB |
| Makefile | -rw-r--r-- | 6.6 KB |
| Makefile.system | -rw-r--r-- | 478 bytes |
| README.md | -rw-r--r-- | 10.0 KB |
| Vagrantfile | -rw-r--r-- | 1.5 KB |
| _tags | -rw-r--r-- | 757 bytes |
| myocamlbuild.ml | -rw-r--r-- | 2.3 KB |
Computing file changes ...
