summaryrefslogtreecommitdiff
path: root/prolog
ModeNameSize
-rw-r--r--common.py1763logplain
-rw-r--r--en.py643logplain
d---------facts116logplain
-rw-r--r--intro_sl.html5449logplain
d---------problems498logplain
-rw-r--r--sl.py1261logplain
-rw-r--r--style.css884logplain