Index of /slackbuilds/15.0/academic/Isabelle

	Name	Last modified	Size	Description
	Parent Directory		-
	Isabelle	2023-07-22 08:57	45
	Isabelle.info	2023-07-22 08:57	315
	slack-desc	2023-07-22 08:57	1.0K
	Isabelle.SlackBuild	2023-07-22 08:57	2.5K