Skip to main content

Browse the archive

Revision a8274feb63b62d281db350cd6dd8940c69aca835 authored by Pierre-Yves Strub on 07 February 2024, 09:08:55 UTC, committed by Pierre-Yves Strub on 07 February 2024, 16:39:46 UTC 
Optimize pretty-printing of notations
 
The printer now does a eager filtering of notations (only
notations that share the same head symbol as the printed
formula are considered)

The does not change the behavior of the pretty-printer,
but greatly improves performance.
1 parent f7992e1
Raw File
easycrypt.png
image
back to top