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