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