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

about summary refs log tree commit diff

path: root/kernel/.merlin.in

blob: 29da7d2cf6d5fd061f2bcb44d032354fbc0cf7a5 (plain)

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

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