.merlin.in « kernel - coq - The formal proof system

about summary refs log tree commit diff

path: root/kernel/.merlin.in

blob: 912ff61496214e0784ebadcee8499206d0407dec (plain)

FLG -rectypes -thread -safe-string -w +a-4-44-50

S ../clib
B ../clib
S ../config
B ../config
S ../lib
B ../lib