Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@612 ab42f6e0-554d-0410-b580-99e487e6eeb2
- Loading branch information
1 parent
cf17e9b
commit 08e98db
Showing
8 changed files
with
509 additions
and
512 deletions.
There are no files selected for viewing
File renamed without changes.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
The actual pretty-printer is located at: | ||
(SLPS)/shared/xsl/bgf2bnf.xslt core for BGF pretty-printer | ||
(SLPS)/shared/xsl/xbgf2xbnf.xslt core for XBGF pretty-printer | ||
(SLPS)/shared/xsl/ldf2tex.xslt core for LDF pretty-printer | ||
(SLPS)/shared/python/pp_pp.py pretty-printer post-processor | ||
(SLPS)/shared/xsl/ldf2xhtml.xslt obsolete part for pretty-printing to HTML | ||
(SLPS)/shared/xsl/xhtml2fo.xslt obsolete way to make an ugly PDF out of HTML | ||
|
||
This directory contains a set up for converging the concrete syntax of the pretty-printer's output format with the abstract syntax of BGF schema. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters