search

dbosk / crocus

Securely and privately verifiable protests
Other
0 stars 0 forks source link

Changes back to bibsp's \NewVar, \NewAlg etc. #103

Closed dbosk closed 6 years ago

dbosk commented 6 years ago

This changes back to the use of bibsp for the typesetting of functions and variables.