Index of /slackbuilds.org/15.0/academic/Isabelle

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

Current bandwidth utilization 1.66 Mbit/s