Makefile


Log

Author Commit Date CI Message
Thomas de Grivel 955b1103 2020-05-17T12:14:58 modal logic
Thomas de Grivel 97f6788b 2020-04-12T17:49:01 put md files in their directory for unbreaking images
Thomas de Grivel 3491f610 2020-03-11T13:32:02 pandoc slides
Thomas de Grivel 8f66d6c5 2020-03-11T12:39:16 set font 8pt
Thomas de Grivel b53b4b84 2020-03-11T11:36:55 converted bsd.tex to markdown
Thomas de Grivel b1567c3c 2020-03-11T11:21:46 BSD slides
Thomas de Grivel 85274d22 2020-03-11T11:15:37 clean more
Thomas de Grivel 487f91a1 2020-03-11T11:09:02 support compiling .tex to .pdf . Add railsonlisp
Thomas de Grivel 5ff68b04 2020-03-11T10:27:03 first draft