GitHub - fgmccabe/StarReference: Reference documentation for the Star language

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
diagrams		diagrams
.gitignore		.gitignore
LogicBib.bib		LogicBib.bib
actions.tex		actions.tex
actors.tex		actors.tex
apache.tex		apache.tex
caf.tex		caf.tex
cmsy10-32.png		cmsy10-32.png
computation.tex		computation.tex
concurrent.tex		concurrent.tex
conditions.tex		conditions.tex
date.tex		date.tex
errors.tex		errors.tex
expressions.tex		expressions.tex
fdl.tex		fdl.tex
formatting.tex		formatting.tex
grammar.tex		grammar.tex
infoset.tex		infoset.tex
introduction.md		introduction.md
introduction.tex		introduction.tex
io.tex		io.tex
lexical.tex		lexical.tex
lgpl.tex		lgpl.tex
lists.tex		lists.tex
macro.tex		macro.tex
maps.tex		maps.tex
nap.sty		nap.sty
notes.tex		notes.tex
numbers.tex		numbers.tex
packaging.tex		packaging.tex
parsing.tex		parsing.tex
patterns.tex		patterns.tex
procedures.tex		procedures.tex
prog.sty		prog.sty
programs.tex		programs.tex
queries.tex		queries.tex
rdf.tex		rdf.tex
reference.bbl		reference.bbl
reference.lop		reference.lop
reference.nlo		reference.nlo
reference.tex		reference.tex
running.tex		running.tex
string.tex		string.tex
syntax.tex		syntax.tex
system.tex		system.tex
threads.tex		threads.tex
types.tex		types.tex
validation.tex		validation.tex
variables.tex		variables.tex
version.tex		version.tex