Skip to main content

Browse the archive

Revision f65f5f1d012c99f5d8d3c705b21206ea2e80f6cc authored by Pierre-Yves Strub on 14 December 2015, 17:00:47 UTC, committed by Pierre-Yves Strub on 14 December 2015, 17:07:28 UTC 
Post-tactic generalize.
 
Syntax is `tactic <@ foo`. Can be mixed with `tactic=> ...`.
1 parent 06a078f
History
File Mode Size
emacs-based
.gitignore -rw-r--r-- 75 bytes
back to top