Changeset 6645dd in git
- Timestamp:
- Jun 3, 2020, 11:31:15 PM (4 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')
- Children:
- 209d2cb3c5aadb53e72b37269b979e9c22e2fd4885c8c6032a9cadefc0cf3f91b461d01abc95b4e8
- Parents:
- 3dcc9343f3f789c52fb942ccd0a50a07e4e38cbc
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/NEWS.texi
r3dcc93 r6645dd 21 21 22 22 @heading News for version @value{VERSION} 23 Changed libraries: 24 @itemize 25 @item grobcov.lib: new version (@nref{grobcov_lib}) 26 @end itemize 27 23 28 Changes in the kernel/build system: 24 29 @itemize 25 30 @item Letterplace: modulo,syz,lift,liftstd (@nref{LETTERPLACE}) 31 @item FLINT 2.6.0 26 32 @end itemize 27 33
Note: See TracChangeset
for help on using the changeset viewer.