Changeset 6645dd in git


Ignore:
Timestamp:
Jun 3, 2020, 11:31:15 PM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
Children:
209d2cb3c5aadb53e72b37269b979e9c22e2fd4885c8c6032a9cadefc0cf3f91b461d01abc95b4e8
Parents:
3dcc9343f3f789c52fb942ccd0a50a07e4e38cbc
Message:
doc: new grobcov.lib
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/NEWS.texi

    r3dcc93 r6645dd  
    2121
    2222@heading News for version @value{VERSION}
     23Changed libraries:
     24@itemize
     25@item grobcov.lib: new version (@nref{grobcov_lib})
     26@end itemize
     27
    2328Changes in the kernel/build system:
    2429@itemize
    2530@item Letterplace: modulo,syz,lift,liftstd (@nref{LETTERPLACE})
     31@item FLINT 2.6.0
    2632@end itemize
    2733
Note: See TracChangeset for help on using the changeset viewer.