]>
2012-02-15 | hackbard | theorems and hyperrefs | blob | commitdiff | raw |
2012-02-05 | hackbard | more detailed | blob | commitdiff | raw | diff to current |
2012-02-04 | hackbard | more on hk ... needs more attention! | blob | commitdiff | raw | diff to current |
2012-01-20 | hackbard | var meth | blob | commitdiff | raw | diff to current |
2012-01-17 | hackbard | more intro +hk proof | blob | commitdiff | raw | diff to current |
2012-01-17 | hackbard | started dft section | blob | commitdiff | raw | diff to current |
2012-01-16 | hackbard | -> english | blob | commitdiff | raw | diff to current |
2012-01-16 | hackbard | -> english | blob | commitdiff | raw | diff to current |