Skip to content

Prove TextMate-generator completeness (#51)#55

Open
johnsoncodehk wants to merge 10 commits into
masterfrom
tm-completeness-proof
Open

Prove TextMate-generator completeness (#51)#55
johnsoncodehk wants to merge 10 commits into
masterfrom
tm-completeness-proof

Close a co-blind markup path and correct the proof's overclaims (#51)

ea488dd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar