kmx.io/prism.js/tests/languages/mizar/parameter_feature.test

• Show log

  Commit

• Hash : 3645f0ec
  Author :
  Date : 2015-09-07T08:11:36
  

  Add tests for Mizar

Download

• tests/languages/mizar/parameter_feature.test

• $1 $2 $3
  $4 $5 $6
  $6 $7 $9
  $10
  
  ----------------------------------------------------
  
  [
  	["parameter", "$1"], ["parameter", "$2"], ["parameter", "$3"],
  	["parameter", "$4"], ["parameter", "$5"], ["parameter", "$6"],
  	["parameter", "$6"], ["parameter", "$7"], ["parameter", "$9"],
  	["parameter", "$10"]
  ]
  
  ----------------------------------------------------
  
  Checks for parameters.

Download