Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
71378e7d148e
clarified modules;
71378e7d148e
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
Description
clarified modules;
Details
Provenance
makarius
Authored on
Parents
rISABELLEc06260b7152c: update to official jedit-5.6.0;
Branches
Unknown
Tags
Unknown
Event Timeline
makarius
committed
rISABELLE71378e7d148e: clarified modules;
.
Sep 10 2020, 4:04 PM
2020-09-10 16:04:12 (UTC+2)