Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
29 November 2022, 16:31:34 UTC
Revision 5b35f6620f58c9dd6f6465b09f400d9999145178 authored by Pierre-Yves Strub on 07 September 2016, 10:13:01 UTC, committed by Pierre-Yves Strub on 07 September 2016, 10:13:01 UTC 
t_subst: allow to do the substitution only in targeted hyps.
 
The new parameter is `?tg` and gives the set of hypotheses identifiers
in which the substitution can occur. If `tg` is `None`, the previous behaviour
is applied --- i.e. try the substitution in all local hypotheses.
1 parent c2940eb
Raw File
Tip revision: 5b35f6620f58c9dd6f6465b09f400d9999145178 authored by Pierre-Yves Strub on 07 September 2016, 10:13:01 UTC
t_subst: allow to do the substitution only in targeted hyps.
Tip revision: 5b35f66
.dir-locals.el 
((tuareg-mode .
   ((require-final-newline . t)
    (c-basic-offset . 2)
    (tab-width . 2)
    (indent-tabs-mode . nil)
    (eval . (add-hook 'write-contents-functions 'delete-trailing-whitespace)))))
 (easycrypt-mode .
   ((require-final-newline . t)
    (indent-tabs-mode . nil)))
back to top