../ definitional.rstFix example code in proof docs7 years ago index.rstMerge pull request #4797 from MilanKral/https7 years ago inductive.rstFix reST errors.9 years ago interactive.rstuse HTTPS URL instead of HTTP URL when possible7 years ago interactiveOld.rstretain old tactics documentation8 years ago patterns.rstclass->interface change in rest of tutorial11 years ago pluscomm.rstFix typos and add escape characters7 years ago propositional.rstfix Sphinx warning7 years ago