Ben Sturmfels 958e9aef78 Add Jesús E. to AUTHORS.

2021-03-10 10:07:12 +11:00

..

source

Add Jesús E. to AUTHORS.

2021-03-10 10:07:12 +11:00

Makefile

Added an "htmlview" target to open docs after building them.

2015-01-09 23:05:04 +02:00