| File | Mode | Size |
|---|---|---|
| jean_paul_basic_dcg.pl | -rw-r--r-- | 2.0 KB |
| jean_paul_basic_fng | -rw-r--r-- | 275 bytes |
| jean_paul_codes_dcg.pl | -rw-r--r-- | 1.6 KB |
| jean_paul_fn_item_dcg.pl | -rw-r--r-- | 1.1 KB |
| jean_paul_fn_item_substitutions.pl | -rw-r--r-- | 2.0 KB |
| jean_paul_tests.pl | -rw-r--r-- | 922 bytes |
| jean_paul_to_latex.pl | -rw-r--r-- | 3.7 KB |
| jean_paul_transform.pl | -rw-r--r-- | 3.9 KB |
| jean_paul_transform_codes.pl | -rw-r--r-- | 1.2 KB |
| jean_paul_transform_fn_item.pl | -rw-r--r-- | 950 bytes |
| jean_paul_transform_gui.pl | -rw-r--r-- | 4.7 KB |
