Sat, 02 Apr 2016 21:54:51 +0200 | wenzelm | proper type; | changeset | files |
Sat, 02 Apr 2016 21:10:07 +0200 | wenzelm | careful export of type-dependent functions, without losing their special status; | changeset | files |
Sat, 02 Apr 2016 20:33:34 +0200 | wenzelm | clarified modules; | changeset | files |
Sat, 02 Apr 2016 20:23:51 +0200 | wenzelm | clarified modules; | changeset | files |
Sat, 02 Apr 2016 17:11:27 +0200 | blanchet | tuned LaTeX | changeset | files |
Sat, 02 Apr 2016 17:02:37 +0200 | blanchet | import package that might help on some machines (e.g., macbroy2) | changeset | files |
Sat, 02 Apr 2016 15:40:06 +0200 | wenzelm | clarified check_sources; | changeset | files |