updated history
This commit is contained in:
parent
a6dea9b85c
commit
d165f9d855
|
@ -1,3 +1,5 @@
|
||||||
|
* added pretty-print-parameters
|
||||||
|
|
||||||
* added grammar-style and paren-style that give finer-grained control
|
* added grammar-style and paren-style that give finer-grained control
|
||||||
over the typesetting styles
|
over the typesetting styles
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user