https://github.com/EasyCrypt/easycrypt
Revision 40992457974e902c08ab616cb16324dbbc7fb090 authored by Francois Dupressoir on 11 June 2014, 10:09:48 UTC, committed by Francois Dupressoir on 11 June 2014, 10:09:48 UTC
Credit (and blame) should go to Benjamin.
1 parent b4acc44
Tip revision: 40992457974e902c08ab616cb16324dbbc7fb090 authored by Francois Dupressoir on 11 June 2014, 10:09:48 UTC
Normalizing procedure names in FEL.
Normalizing procedure names in FEL.
Tip revision: 4099245
.gitignore
*~
_build
*.native
*.byte
*.pyc
*.pyo
/local
/why3
/_tools
/proofgeneral/_local
setup.data
setup.log
/attic
/theories/attic
/system/*.o
/system/callprover
/system/callprover.exe
/doc/*.aux
/doc/*.bbl
/doc/*.blg
/doc/*.brf
/doc/*.fdb_latexmk
/doc/*.fls
/doc/*.idx
/doc/*.ilg
/doc/*.ind
/doc/*.log
/doc/*.out
/doc/*.toc
/doc/easycrypt.pdf
/webui/workspace/
/webui/webui-env/
/webui/econline.egg-info/
/webui/build/
/webui/dist/
/webui/econline.log
/webui/econline.pid
/webui/backend.log
/webui/backend.pid
/sandbox
Computing file changes ...
