Skip to content

add overview of translation structure among other adjustments

f6c6350
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

add user documentation for Isabelle Translation extension #41

add overview of translation structure among other adjustments
f6c6350
Select commit
Loading
Failed to load commit list.

The logs for this run have expired and are no longer available.