debug_ltac.fake « ide « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/ide/debug_ltac.fake

blob: 38c610a5a604adac0750c009d8729f0ef15413f1 (plain)

1
2
3

ADD { Comments "fakeide doesn't support fail as the first sentence". }
FAILADD { Debug On. }
ADD { Set Debug On. }