https://gitlab2.informatik.uni-wuerzburg.de/Wissensbasierte-Systeme/declare/declare
Tip revision: b6ea6b97b180932761f3d679944c21e98fe6bd97 authored by Marcel Waleska on 02 August 2023, 06:14:51 UTC
Initial commit
Initial commit
Tip revision: b6ea6b9
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 |