summaryrefslogtreecommitdiff
path: root/prolog
ModeNameSize
-rw-r--r--common.py2273logplain
-rw-r--r--en.py384logplain
d---------facts116logplain
-rw-r--r--intro_sl.html5451logplain
d---------problems425logplain
-rw-r--r--sl.py1190logplain
-rw-r--r--style.css884logplain