Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
.gitignore 38 Bytes
Newer Older
Thomas Badie's avatar
Add text I/O for Kripke structures.  
Thomas Badie committed
1
2 
Makefile
Makefile.in
Alexandre Duret-Lutz's avatar
more files to ignore    
Alexandre Duret-Lutz committed
3 
defs
Alexandre Duret-Lutz's avatar
more files to ignore    
Alexandre Duret-Lutz committed
4 
parse_print