summaryrefslogtreecommitdiff
path: root/prolog
ModeNameSize
-rw-r--r--common.py2274logplain
-rw-r--r--en.py384logplain
d---------facts116logplain
-rw-r--r--intro_sl.html5449logplain
d---------problems425logplain
-rw-r--r--sl.py1284logplain
-rw-r--r--style.css884logplain