Folder Path

/slackbuilds/15.0/academic/Isabelle/

0 directories 5 files 4.5 KiB total

	Name	Size	Modified
	Up
	Isabelle	45 B	07/22/2023 08:57:05 AM +00:00
	Isabelle.info	315 B	07/22/2023 08:57:05 AM +00:00
	Isabelle.SlackBuild	2.5 KiB	07/22/2023 08:57:05 AM +00:00
	README	697 B	07/22/2023 08:57:05 AM +00:00
	slack-desc	997 B	07/22/2023 08:57:05 AM +00:00