Log

Author Commit Date CI Message
Thomas de Grivel 6c7f50ad 2022-02-20T10:58:47 update urls
Thomas de Grivel 7849e27b 2020-05-22T11:45:17 modal-logic: simplify definitions
Thomas de Grivel ccd5ed5c 2020-05-22T11:42:51 update modal-logic
Thomas de Grivel 8e5f1922 2020-05-22T11:24:07 modal logic: possibly
Thomas de Grivel 9f68abc6 2020-05-17T17:22:33 specify semantics are for all data
Thomas de Grivel 2f4efbb0 2020-05-17T17:20:22 remove blurbs
Thomas de Grivel 9a62394b 2020-05-17T13:15:33 language: add sizing information
Thomas de Grivel 0efa1926 2020-05-17T12:44:54 language
Thomas de Grivel 955b1103 2020-05-17T12:14:58 modal logic
Thomas de Grivel 32e2b29c 2020-04-12T17:51:19 fix readme
Thomas de Grivel 97f6788b 2020-04-12T17:49:01 put md files in their directory for unbreaking images
Thomas de Grivel d3a35177 2020-03-11T15:10:08 correct historical order
Thomas de Grivel dba94a26 2020-03-11T15:08:57 readme
Thomas de Grivel de85090f 2020-03-11T14:15:46 readme
Thomas de Grivel 3491f610 2020-03-11T13:32:02 pandoc slides
Thomas de Grivel 115e1beb 2020-03-11T12:42:54 format bsd license for 72 col
Thomas de Grivel 8f66d6c5 2020-03-11T12:39:16 set font 8pt
Thomas de Grivel ea9ab992 2020-03-11T12:38:51 convert railsonlisp.tex -> railsonlisp.md
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 2fd84caa 2020-03-11T11:16:08 test pdf
Thomas de Grivel 85274d22 2020-03-11T11:15:37 clean more
Thomas de Grivel 0f4b3e04 2020-03-11T11:09:28 try gfm input
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