-
Notifications
You must be signed in to change notification settings - Fork 9
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
08f1e5f
commit 0204baf
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
Submodule systems
updated
26 files
| +8 −6 | asprin.tex | |
| +35 −0 | clasp-example.tex | |
| +0 −32 | clasp.tex | |
| +6 −6 | clingo-dl.tex | |
| +35 −0 | clingo-example.tex | |
| +1 −32 | clingo.tex | |
| +21 −0 | clingraph.tex | |
| +30 −1 | clinguin.tex | |
| +3 −3 | clorm.tex | |
| +6 −3 | eclingo.tex | |
| +39 −0 | fclingo.tex | |
| +96 −0 | gringo-example.tex | |
| +6 −0 | gringo-reify.tex | |
| +1 −97 | gringo.tex | |
| +41 −0 | metasp.tex | |
| + − | pictures/birds-migratory.pdf | |
| + − | pictures/birds-resident.pdf | |
| + − | pictures/birds.pdf | |
| +168 −0 | pictures/birds.svg | |
| +3 −0 | pictures/clinguin1.png | |
| +3 −0 | pictures/clinguin2.png | |
| +3 −0 | pictures/clinguin3.png | |
| +3 −0 | pictures/queens.png | |
| +57 −0 | plingo-example.tex | |
| +35 −0 | xclingo-example.tex | |
| +0 −28 | xclingo.tex |