discussion_points
This is an old revision of the document!
Here will be links to points within the system notes which are new or require discussion. After the non-poster — Gabor if John posted, John if Gabor posted — has read the discussion point, he will make a notation here to that effect along with a response.
By the way, '\+' now works (it puts a superscript “+” in the document.
discussion_points.1491442260.txt.gz · Last modified: 2023/07/31 01:16 (external edit)