yoni206
Results
2
issues of
yoni206
It would be great to have a way of pretty-printing formulas, by providing a dictionary between the variables (numerals) and application-specific name. This is easy to do for ordinary CNF...
enhancement
When opening vim with -d (diff) mode, two windows appear in a diff-fashion (e.g. marked lines etc.). When saving and opening such a session, the result is the same two...