https://github.com/EasyCrypt/easycrypt
Revision ea61948e877fb26fdd1151c35b057aaf79274926 authored by Pierre-Yves Strub on 06 July 2014, 07:32:45 UTC, committed by Pierre-Yves Strub on 06 July 2014, 07:34:41 UTC
The option can now be refined with two modifiers (case/split) seperated with a colon. E.g. [progress [delta:split]] By default, [delta:split] is on, [delta:case] is off. Also, negative options are now given using the [-] mark. E.g. [progress [-delta]]
1 parent 7caf0b7
Tip revision: ea61948e877fb26fdd1151c35b057aaf79274926 authored by Pierre-Yves Strub on 06 July 2014, 07:32:45 UTC
Restore [delta] option for [progress]
Restore [delta] option for [progress]
Tip revision: ea61948
.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 ...
