Changeset f22bc5 in git for doc/NEWS.texi
- Timestamp:
- Mar 23, 2017, 11:46:03 AM (7 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 666a69394fd83d334aea7f4293420128f69540f3
- Parents:
- d617882df486cc296cb12ee0bd7f6465e46a9418
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/NEWS.texi
rd617882 rf22bc5 21 21 22 22 @heading News for version @value{VERSION} 23 24 Extended commands: 25 @itemize 26 @item syz (@nref{syz}), lift (@nref{lift}), liftstd (@nref{liftstd}): with a specified GB algorithm 27 @end itemize 23 28 24 29 New libraries:
Note: See TracChangeset
for help on using the changeset viewer.