Michael Hanus (a5eeb93d) at 26 Jan 16:11
Chapter 7 (web programming) update to new html2 package (since the ...
Michael Hanus (9ec353cf) at 25 Jan 11:36
Updates w.r.t. PAKCS 3.6.x
Michael Hanus (44666ea5) at 06 Jul 16:07
Makefile fixed
Michael Hanus (a5af2b02) at 06 Jul 15:36
Note about the use of default rules added
Michael Hanus (b431d2bc) at 12 Apr 09:40
helper programs updated to version3
Michael Hanus (6b5db6ac) at 12 Apr 09:12
Updates w.r.t. version 3
Michael Hanus (4f9592e9) at 11 Apr 15:16
Add support to generate HTML via latexml