GitHub - Wang-ZhengYi/safot

Name		Name	Last commit message	Last commit date
Latest commit History 269 Commits
00		00
Excerpts		Excerpts
Images		Images
sources		sources
.gitignore		.gitignore
.latexmkrc		.latexmkrc
00.library.lisp		00.library.lisp
00.mw		00.mw
00.sh		00.sh
00.sty		00.sty
00.tex		00.tex
00terms.tex		00terms.tex
JVM.tex		JVM.tex
Makefile		Makefile
a-star-c.tikz		a-star-c.tikz
admin.tex		admin.tex
alist.tikz		alist.tikz
arithmetics.tex		arithmetics.tex
background.tex		background.tex
beamercolorthemeZMBZFMK.sty		beamercolorthemeZMBZFMK.sty
beamerthemeZMBZFMK.sty		beamerthemeZMBZFMK.sty
binding.tex		binding.tex
cf.sty		cf.sty
character-encoding.tex		character-encoding.tex
chicken-and-egg.tex		chicken-and-egg.tex
commands.txt		commands.txt
conf.p		conf.p
cs-logo.png		cs-logo.png
forest.tex		forest.tex
front.tex		front.tex
hebrew.vim		hebrew.vim
histogram.p		histogram.p
inputs.tex		inputs.tex
lisp-beamer.tex		lisp-beamer.tex
lisp.tex		lisp.tex
motivation.tex		motivation.tex
noam.tikz		noam.tikz
old.yogi-unicode.sty		old.yogi-unicode.sty
plainSlides.tex		plainSlides.tex
prolog.tex		prolog.tex
regular.tex		regular.tex
reverse.p		reverse.p
steps-ex.tex		steps-ex.tex
steps.sh		steps.sh
steps.tex		steps.tex
stones.tex		stones.tex
sukkar.sty		sukkar.sty
technion-logo_en_blue.png		technion-logo_en_blue.png
toilet.tex		toilet.tex
translate.tex		translate.tex
trees.tex		trees.tex
trees.tikz		trees.tikz
unisugar.sty		unisugar.sty
values.tex		values.tex
words.tex		words.tex
x.tex		x.tex
yogi-code.sty		yogi-code.sty
yogi-lang.sty		yogi-lang.sty
yogi-lines.sty		yogi-lines.sty
yogi-unicode.sty		yogi-unicode.sty