Revision 59d12760207239ad629597be0ed42a508b9c354d authored by Boud Roukema on 02 December 2020, 03:36:24 UTC, committed by Boud Roukema on 02 December 2020, 03:36:24 UTC
This commit adds to more verification files. The commit IDs are slightly different, but there are no changes in the project calculation routines between these two files, or between them and the other two 'v1-[23]*' files. A wildcard asterisk can be used for the commit ID for cases such as this, as long as 'make' and 'bash' treat the asterisk appropriately.
1 parent 59c9e30
| File | Mode | Size |
|---|---|---|
| reproduce | ||
| tex | ||
| .dir-locals.el | -rw-r--r-- | 1.3 KB |
| .file-metadata | -rw-r--r-- | 9.0 KB |
| .gitignore | -rw-r--r-- | 994 bytes |
| COPYING | -rw-r--r-- | 34.3 KB |
| FAQ | -rw-r--r-- | 863 bytes |
| README-hacking.md | -rw-r--r-- | 90.2 KB |
| README.md | -rw-r--r-- | 23.9 KB |
| TODO | -rw-r--r-- | 4.5 KB |
| paper.tex | -rw-r--r-- | 101.4 KB |
| project | -rwxr-xr-x | 23.3 KB |
Computing file changes ...
