Skip to main content

Browse the archive

Revision faae8f1a6491141d662935fbb96c27222bf3554b authored by Pierre-Yves Strub on 08 December 2015, 20:20:31 UTC, committed by Pierre-Yves Strub on 08 December 2015, 20:21:34 UTC 
Add an option to clear abbrev. when cloning.
 
Syntax is `clear abbrev names+`

+ proof/renaming/clear can now be interleaved.
1 parent 29d5540
History
File Mode Size
algebra
analysis
core
crypto
datatypes
distributions
encryption
newth
oldlibs
phl
prelude
structure
tactics
back to top