|
Last change
on this file was
2394,
checked in by campbell, 7 years ago
|
|
I've kept the odd note on bits of CerCo? work I've been doing. James suggested
that it might be useful if these were recorded in the repository just in case
they contain some useful information that doesn't get recorded elsewhere.
|
|
File size:
477 bytes
|
| Line | |
|---|
| 1 | These are some miscellaneous notes that I keep during CerCo work. It is |
|---|
| 2 | possible that there is some information here that isn't recorded elsewhere, and |
|---|
| 3 | James suggested I should consider making them available, so I'm checking them |
|---|
| 4 | into the repository for future reference. However, they are not intended to be |
|---|
| 5 | an accurate record - and certainly not complete - and should not be treated as |
|---|
| 6 | such. Comments might only apply to CerCo as of the date they were written, if |
|---|
| 7 | at all. |
|---|
Note: See
TracBrowser
for help on using the repository browser.
