Change History for Ticket #9944

Version Date Author Comment
98 12 years Simon King I removed the comment "needs review" from the ticket description.
94 12 years Simon King I hope it is OK that I modified one test in …
93 12 years Simon King
92 12 years Simon King By now, all patches have a positive review, so, I am changing the …
88 12 years Martin Raum Updating the apply statements.
61 12 years Jeroen Demeyer
59 12 years Simon King Finally I got my new patch to work. Here are the new features and, in …
44 12 years Simon King The problem seems solved. What I did: Initialise the endomorphism …
26 12 years Martin Raum I applied the second patch and exported the commit, so that Jeroen …
22 12 years Simon King Good news! Things are now faster than without the patches! I …
16 12 years Simon King I attached a small patch to solve part of the problem of the missing …
12 12 years Simon King Replying to SimonKing: > Aparently there is a doctest …
7 12 years Martin Raum I would give this a positive review for Robert's idea and I would open …
0 12 years Robert Bradshaw Initial version