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 9 years vbraun I've replaced the spkg with a new version that fixes the GAP Exec command.
18 9 years vbraun
17 9 years vbraun
16 9 years vbraun
14 9 years vbraun
13 9 years vbraun
8 9 years vbraun
5 9 years vbraun
0 9 years vbraun Initial version