gitmirror

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

Verlauf

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