| Fri, 15 Jul 2016 12:17:16 +0200 | hoelzl | HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094) | file | diff | annotate |
| Wed, 30 Dec 2015 14:55:26 +0100 | wenzelm | proper latex setup; | file | diff | annotate |
| Sun, 02 Nov 2014 17:09:04 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sun, 21 Aug 2011 09:38:31 -0700 | huffman | scale dependency graph to fit on page | file | diff | annotate |
| Fri, 03 Dec 2010 20:38:58 +0100 | wenzelm | recoded latin1 as utf8; | file | diff | annotate |
| Sat, 24 Apr 2010 13:31:52 -0700 | huffman | document generation for Multivariate_Analysis | file | diff | annotate |