Fabian Zickgraf

Some thoughts: Maybe it makes sense to distinguish between "definitional implications" (i.e. what we currently do in CAP) and "acquired implications" (i.e. *additional* implications triggered via `InstallTrueMethod`). I think the...

@ThomasBreuer The tests of CAP, LinearAlgebraForCAP etc. now pass with the latest commit, thanks! One question out of curiosity: This PR (both the original and the updated version) allows installing...

> I am going to update the pull request accordingly Just checked it out and it seems to work perfectly :-) > although this new aspect is not covered by...

I am still seeing this issue with Thunderbird 78.6 (Arch Linux, happens with both the Arch version and the Mozilla binaries). In fact, the plugin works when launching Thunderbird for...

@Qeole Thanks for checking! That's weird, I can reproduce this even in a clean virtual machine. I will list detailed steps to reproduce, maybe you can spot a mistake: 1....

Thanks for investigating further! I was starting to get worried about why I should be the only one seeing this issue :D I have just tried simulating a "used profile"...

Thanks for you review @kdambekalns! Could this this PR be considered for merge before the upcoming LTS?

Thanks for the additional reviews and the merge! This will make upgrading to 8.3 via export and import much easier for us :-)

The CI failures are due to network errors: ``` Err:15 http://azure.archive.ubuntu.com/ubuntu jammy/universe amd64 texlive-base all 2021.20220204-1 Connection failed [IP: 20.106.104.242 80] ```

I have now pushed a new suggestion which goes into the direction of the suggestion in https://github.com/gap-system/gap/pull/5366#issuecomment-1425405030: Searching backwards (e.g. by pressing "up") in history now always ensures that a...