Mario
Mario
JabRef 5.0-beta.419--2020-02-12--3859620 Linux 5.4.19-050419-generic amd64 Java 13.0.2 - [X ] I have tested the latest development version from http://builds.jabref.org/master/ and the problem persists Steps to reproduce the behavior: 1. In...
I quite like this theme, thanks in the first place. Just wanted to post a small issue, I recently discovered: > \documentclass{beamer} > \usetheme{metropolis} > \begin{document} > \begin{frame} > \textvisiblespace...
Hi, I'm running KeYmaera X 5.0.2 on my Ubuntu 22.04 machine (plain, just using Z3). I've completely removed the `~/.keymaerax` directory to also avoid clearing the cache. But the error...
Hi, after reinstalling my Linux, I'm now using > pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian) with `acro 3.8`. I'm actually mostly using `lualatex`. I'm using the acro package settings >...
Hi, thank you so much for this i3-gnome fork. It works swiftly. I just wanted to contribute a preliminary solution to the problem. I'm using LMDE6 and use the following...
Hi, after I came across this issue several times, I'm going to post it here: The CS journal > ACM Transactions on Programming Languages and Systems seems to be missing...
A while ago I have posted this problem [on SX](https://askubuntu.com/q/1041919/835198). Recently, I found [that related bug report](https://github.com/politza/pdf-tools/issues/286), because the problem still renders my strongly preferred tool setting still impractical in...
### JabRef version Latest development branch build (please note build date below) ### Operating system GNU / Linux ### Details on version and operating system JabRef 5.14--2024-05-20--7dce65a Linux 6.1.0-21-amd64 amd64...
An MWE that shows the behaviour under pdflatex and luatex (in my case, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Debian)) is given here: ```latex \documentclass{article} \usepackage{acro}[=v2] %