summaryrefslogtreecommitdiff
path: root/prolog
ModeNameSize
-rw-r--r--common.py2303logplain
-rw-r--r--en.py384logplain
d---------facts116logplain
-rw-r--r--intro_sl.html5449logplain
d---------problems466logplain
-rw-r--r--sl.py1277logplain
-rw-r--r--style.css884logplain