Overview
Request 946709 accepted
- Update to version 0.198.
* Put two spaces between $c,v on same line in /rewrap.
* Fix cosmetic bug in WRITE SOURCE ... /REWRAP that prevented end
of sentence (e.g. period) from appearing in column 79, thus
causing some lines to be shorter than necessary.
- Use tarballs from GitHub because they have versioned URLs.
- Drop data package. There are no (recent) releases and the files
are just taken verbatim from https://github.com/metamath/set.mm
anyway. Users will likely want to work on these in their home
directory anyway, since they're not libraries.
- Only suggest the book to install.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Update to version 0.198.
* Put two spaces between $c,v on same line in /rewrap.
* Fix cosmetic bug in WRITE SOURCE ... /REWRAP that prevented end
of sentence (e.g. period) from appearing in column 79, thus
causing some lines to be shorter than necessary.
- Use tarballs from GitHub because they have versioned URLs.
- Drop data package. There are no (recent) releases and the files
are just taken verbatim from https://github.com/metamath/set.mm
anyway. Users will likely want to work on these in their home
directory anyway, since they're not libraries.
- Only suggest the book to install.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
dimstar_suse added openSUSE:Factory:Staging:adi:3 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:3"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:3"
dimstar accepted review
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:3 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:3 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:3 got accepted.
