Changeset c6b97d in git

Timestamp:

Nov 4, 2013, 2:16:45 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'd1b01e9d51ade4b46b745d3bada5c5f3696be3a8')

Children:

a9b7f77507baced4cd75ddcfb401a377e267a851

Parents:

64ec0359b05c3d6a50895fdd2ea4546e675405cd

git-author:

Martin Lee <martinlee84@web.de>2013-11-04 14:16:45+01:00

git-committer:

Martin Lee <martinlee84@web.de>2013-11-04 14:38:39+01:00

Message:

moved FLINT to non optional part in manual preface

File:

• doc/COPYING.texi (modified) (2 diffs)

doc/COPYING.texi

@@ -99 +99 @@
 @copyright{} Komei Fukuda
 @* @uref{http://www.ifor.math.ethz.ch/~fukuda/cdd_home}
+@item FLINT
+@copyright{} Bill Hart, Sebastian Pancratz, Fredrik Johansson
+@* @uref{http://www.flintlib.org}
 @item gfanlib
 @copyright{} Anders Jensen
@@ -123 +126 @@
 @item gfan (used by tropical.lib, @pxref{tropical_lib})
 @uref{http://www.math.tu-berlin.de/~jensen/software/gfan/gfan.html}
-@item FLINT
-@copyright{} Bill Hart, Sebastian Pancratz, Fredrik Johansson
-@* @uref{http://www.flintlib.org}
 @item graphviz (used by resgraph.lib, @pxref{resgraph_lib})
 @uref{http://www.graphviz.org/}