gitmirror

This repo contains code to mirror other repos. It also contains the code that is getting mirrored.

Histórico

Erez Sh 41b2ba0d3a Docs: Updated IDE links again		há 3 anos
..
_static	Added SPPF explanation page (mirror, original site went down)	há 3 anos
ide	Fix for ide in github pages (no underscores)	há 4 anos
Makefile	first cut sphinx done	há 4 anos
classes.rst	Docs: Improved documentation of exceptions	há 3 anos
conf.py	Change docs man page for 1 to 7 (Issue #720)	há 3 anos
features.md	Docs: Fix links to tools	há 3 anos
forest.rst	Fix missing handles_ambiguity docstring	há 4 anos
grammar.md	Added %extend for both rules and terminals.	há 3 anos
how_to_develop.md	Fixed some typos in the docs	há 5 anos
how_to_use.md	Docs: fix bad link	há 3 anos
index.rst	Docs: Updated IDE links again	há 3 anos
json_tutorial.md	Updated a few links	há 3 anos
make.bat	first cut sphinx done	há 4 anos
parsers.md	Docs: tools page + more explanations	há 3 anos
philosophy.md	Docs: tools page + more explanations	há 3 anos
recipes.md	Added considered_rules to exception for earley. Small improvement to docs and exceptions	há 3 anos
requirements.txt	Attempt to add markdown tables	há 4 anos
tools.md	Docs: tools page + more explanations	há 3 anos
tree_construction.md	first cut sphinx done	há 4 anos
visitors.rst	Docs: Improved documentation of exceptions	há 3 anos