Search:
Login
GitHub Login
Preferences
Help/Guide
About Trac
API
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
Back to Ticket #13588
Change History for
Ticket #13588
Version
Date
Author
Comment
73
9 years
jdemeyer
69
9 years
vbraun
I've added a setting to our Sphinx config (
doc/common/conf.py
) and …
52
9 years
jdemeyer
51
9 years
vbraun
I've added it to the manifest. I do think it is useful, when I started …
34
9 years
jdemeyer
33
9 years
jdemeyer
23
10 years
vbraun
I've replaced the spkg with a new version that fixes the GAP Exec command.
18
10 years
vbraun
17
10 years
vbraun
16
10 years
vbraun
14
10 years
vbraun
13
10 years
vbraun
8
10 years
vbraun
5
10 years
vbraun
0
10 years
vbraun
Initial version