log

age author description
Fri, 16 Dec 2022 21:55:37 -0500 Paper *: add the restrict keyword when necessary
Fri, 16 Dec 2022 20:46:33 -0500 Paper git leftovers: remove .gitignore
Fri, 16 Dec 2022 20:35:06 -0500 Paper clean up code, convert git files to hg, etc.