start .
page viewer …
color-style to set
fancy .
white .
black .
Directory path .
pangea
,
docs
.
media player …
.
After this playable media do .
Play *next* media content , after .
*Repeat* the current media content .
*Stop* after the end of the current media content .
Repeat this *playlist* of media contents .
Link to the current playable media content .
Do you want to show download links ?
Do you want to intercept into this media-contents player ?
Directory: /pangea/docs/ .
Sorting:
name ascending
.
■ README.md
+ css/
[list]
■ evaluation.html
[text]
■ examples.html
[text]
■ features-dettaglio.html
[text]
■ index.html
[text]
■ polish-notation.html
[text]
■ reference.html
[text]
■ release-notes-028.md