Skip to main content

Browse the archive

Revision 2e303b83a20163ec473f062f948827891d36f341 authored by Théo Winterhalter on 25 September 2019, 15:33:51 UTC, committed by Théo Winterhalter on 15 October 2019, 14:13:54 UTC 
Give isconv_args two terms instead of one to account for cumul
 
Removes need for `wellformed_zipc_replace`!
1 parent c66987f
History
File Mode Size
coqdoc.css -rw-r--r-- 5.9 KB
back to top