|
aa617f9d0c
|
remove unnecessary includes, add environment for pseudocode
|
2024-10-30 19:40:44 +08:00 |
|
|
7a5312a468
|
update examples
|
2024-10-09 23:00:22 +08:00 |
|
|
14b79c2624
|
example 2. lowdim LP slides
|
2024-10-05 10:07:16 +08:00 |
|
|
d507c8ba55
|
add example Büchi Game
|
2024-10-05 10:05:02 +08:00 |
|
|
80e76bb505
|
remove 169 theme
|
2024-10-05 09:51:55 +08:00 |
|
|
9f65e1850a
|
add gitignore
|
2024-10-05 09:48:11 +08:00 |
|
|
1f9bf4ffa5
|
update chinese version with xelatex. Now use bold math font in titles
|
2024-09-25 15:26:01 +08:00 |
|
|
2e34880b13
|
centering title page with sidebar https://latex.org/forum/viewtopic.php?t=23158
|
2024-03-23 12:17:03 +08:00 |
|
congyu
|
2383e37080
|
Delete README.md
|
2024-01-15 11:49:19 +08:00 |
|
congyu
|
16c00b102a
|
delete readme
|
2024-01-15 11:46:24 +08:00 |
|
|
07500da56f
|
remove files
|
2024-01-14 16:33:31 +08:00 |
|
|
006592fb09
|
change .sty
|
2024-01-14 16:26:48 +08:00 |
|
zbowang
|
989d7110e1
|
modify readme
|
2018-12-29 17:42:12 +08:00 |
|
zbowang
|
69c90b4f79
|
supplement
|
2018-11-30 08:30:21 +08:00 |
|
zbowang
|
b6c7190d8a
|
delete maketitle
|
2018-11-30 08:26:49 +08:00 |
|
zbowang
|
bcf4ea1df2
|
set math font serif, content.tex add 3 slides full of math
|
2018-11-29 22:23:24 +08:00 |
|
zbowang
|
c1a370198d
|
set color by option
|
2018-11-29 13:46:21 +08:00 |
|
zbowang
|
ecc81bfc70
|
modify readme
|
2018-11-29 12:46:53 +08:00 |
|
zbowang
|
141e20b54a
|
finish simple and bar16 and readme
|
2018-11-29 12:28:09 +08:00 |
|
zbowang
|
a66026b364
|
split by functions
|
2018-11-27 20:50:51 +08:00 |
|
zbowang
|
08128c7bb4
|
delete old files
|
2018-11-26 21:16:11 +08:00 |
|
zbowang
|
6c4dd7530a
|
generate new pdfs
|
2018-11-26 18:29:49 +08:00 |
|
zbowang
|
8beb4e8a15
|
rewrite content and modify templates
|
2018-11-26 18:29:10 +08:00 |
|
“wzb
|
64d70f206a
|
modify some typos in readme
|
2018-06-27 15:29:27 +08:00 |
|
dwzb
|
bdf6bd9685
|
modify readme.md
|
2018-05-20 19:17:33 +08:00 |
|
dwzb
|
700198a230
|
finish short part
|
2018-05-20 19:15:12 +08:00 |
|
dwzb
|
3ed58854ee
|
finish long part
|
2018-05-20 17:37:20 +08:00 |
|
王智博
|
14a57fc7ec
|
Initial commit
|
2018-05-20 16:13:45 +08:00 |
|