Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
.gitignore 38 Bytes
Newer Older
Alexandre Duret-Lutz's avatar
Add documentation for temporal logic operators.  
Alexandre Duret-Lutz committed
1
2
3
4
5
6 
*.bbl
*.blg
*.idx
*.log
*.out
tmp.t2d