コード例 #1
0
ファイル: html.py プロジェクト: rnrand/coq 
 def visitWhitespace(self, ctx:TacticNotationsParser.WhitespaceContext):
     text(" ")
コード例 #2
0
ファイル: html.py プロジェクト: rnrand/coq 
 def visitPipe(self, ctx:TacticNotationsParser.PipeContext):
     text("|")