Johannes

Results 1 comments of Johannes

Thanks for pointing me to the right direction. I got it to work in my fork by including the import for the ams configuration. The packages intialization you posted already...