thodg/slides
Branch :
Log
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
 |
700ba259 | 2022-02-20 10:59:57 | bsd | |
|
6c7f50ad | 2022-02-20 10:58:47 | update urls | |
|
7849e27b | 2020-05-22 11:45:17 | modal-logic: simplify definitions | |
|
ccd5ed5c | 2020-05-22 11:42:51 | update modal-logic | |
|
8e5f1922 | 2020-05-22 11:24:07 | modal logic: possibly | |
|
9f68abc6 | 2020-05-17 17:22:33 | specify semantics are for all data | |
|
2f4efbb0 | 2020-05-17 17:20:22 | remove blurbs | |
|
9a62394b | 2020-05-17 13:15:33 | language: add sizing information | |
|
0efa1926 | 2020-05-17 12:44:54 | language | |
|
955b1103 | 2020-05-17 12:14:58 | modal logic | |
|
32e2b29c | 2020-04-12 17:51:19 | fix readme | |
|
97f6788b | 2020-04-12 17:49:01 | put md files in their directory for unbreaking images | |
|
d3a35177 | 2020-03-11 15:10:08 | correct historical order | |
|
dba94a26 | 2020-03-11 15:08:57 | readme | |
|
de85090f | 2020-03-11 14:15:46 | readme | |
|
3491f610 | 2020-03-11 13:32:02 | pandoc slides | |
|
115e1beb | 2020-03-11 12:42:54 | format bsd license for 72 col | |
|
8f66d6c5 | 2020-03-11 12:39:16 | set font 8pt | |
|
ea9ab992 | 2020-03-11 12:38:51 | convert railsonlisp.tex -> railsonlisp.md | |
|
b53b4b84 | 2020-03-11 11:36:55 | converted bsd.tex to markdown | |
|
b1567c3c | 2020-03-11 11:21:46 | BSD slides | |
|
2fd84caa | 2020-03-11 11:16:08 | test pdf | |
|
85274d22 | 2020-03-11 11:15:37 | clean more | |
|
0f4b3e04 | 2020-03-11 11:09:28 | try gfm input | |
|
487f91a1 | 2020-03-11 11:09:02 | support compiling .tex to .pdf . Add railsonlisp | |
|
5ff68b04 | 2020-03-11 10:27:03 | first draft |