| Age | Commit message (Collapse) | Author | Lines |
|---|
|
The top few entries in the list were different from the older ones. So
for now (since I am busy!), they have been written in a similar format
(in particular, removing the arXiv link).
I personally prefer the new method, but we also need consistency! We
can't just update the most recent entries and ignore the previous
ones: this doesn't have a good view for a random viewer.
So when we have time, we should define some good way to add those
extra links in all the papers ;-).
|
|
Following the previous commit, I noticed that in the first line of
that page (where we ask people to cite the Maneage paper), don't
actually mention the journal or DOI. So a link with the journal name,
that links to the DOI was added.
I also noticed that the Peper & Roukema paper's new information
doesn't follow the same convention as the previous entries: instead of
the year being set as a link, the journal name was a link. So the link
is now on the year.
I also noticed that there was a typo in the link of the Maneage
paper's arXiv link that has been corrected.
|
|
This commit updates the list of references for
Maneage publications; and modifies the comment
in about-tips.html that listed the unethical servers
without listing ethical servers. The current best
list of ethical git (and similar) code hosts seems to
be at https://developers.reverseeagle.org/replace/github .
(The equivalent for non-developers is
https://switching.software
to avoid the closed world of GAFAM/Zoom/Slack/Doodle/Twitter
and join the free world. :))
|
|
In the initial version of the paper, we had this nice figure to show
the file structure of Maneage, so I thought its good to put it in the
page describing Maneage's file architecture.
Also, the long copyright at the end of the page was summarized into
one line and a link to the GPL has been added.
|
|
The "About" page ('about.html') was effectively a full copy of
Maneage's 'README-hacking.md', so it was very long. To help in
readability it has now been broken down into smaller pages (one for
each section).
Also the indentation of Make recipes was corrected, both in the about
pages, and also in the tutorial.
|
