summaryrefslogtreecommitdiffstats
path: root/academic/Isabelle
ModeNameSize
-rw-r--r--Isabelle45logstatsplainaboutblame
-rw-r--r--Isabelle.SlackBuild2538logstatsplainaboutblame
-rw-r--r--Isabelle.info315logstatsplainaboutblame
-rw-r--r--README697logstatsplainaboutblame
-rw-r--r--slack-desc997logstatsplainaboutblame