Francisco Coelho / zugzwang

Name	Last Update	Last Commit 75ead529 – START - PEx preparation History
..
LLNCS	Loading commit data...
reviews	Loading commit data...
temp.fc	Loading commit data...
asp.bib	Loading commit data...
example_annotASP2plainASP.txt	Loading commit data...
foundations.bib	Loading commit data...
pre-paper.pdf	Loading commit data...
pre-paper.tex	Loading commit data...
related_papers_plingo.md	Loading commit data...
zugz-paper_01.code-workspace	Loading commit data...
zugzwang.bib	Loading commit data...