Eduardo Cueto Mendoza 75e7a88c2b Add project pages, have to fill the text		2020-06-24 17:34:10 -06:00
..
foot.html	Another change of style	2020-06-13 22:13:31 -06:00
foot_highlight.html	Initial commit	2020-06-13 10:55:03 -06:00
foot_katex.html	Initial commit	2020-06-13 10:55:03 -06:00
head.html	Add project pages, have to fill the text	2020-06-24 17:34:10 -06:00
head_highlight.html	Another change of style	2020-06-13 22:13:31 -06:00
head_katex.html	Another change of style	2020-06-13 22:13:31 -06:00
page_foot.html	Another change of style	2020-06-13 22:13:31 -06:00