Revision 30ca9f46f4e971b2d1b8d25cda1175c4d72fac26 authored by SimonBoulier on 19 September 2019, 13:11:05 UTC, committed by SimonBoulier on 19 September 2019, 13:11:05 UTC
1 parent 94cd659
History
File Mode Size
src
theories
Makefile -rw-r--r-- 900 bytes
Makefile.coq.local -rw-r--r-- 65 bytes
Makefile.local -rw-r--r-- 144 bytes
Makefile.plugin.local -rw-r--r-- 326 bytes
_CoqProject.in -rw-r--r-- 443 bytes
_PluginProject.in -rw-r--r-- 535 bytes
demo.v -rw-r--r-- 107 bytes
update_plugin.sh -rwxr-xr-x 362 bytes

back to top