Jason Gross

coqpp's error messages are uninformative

2

#### Description of the problem When I run coqpp on ``` DECLARE PLUGIN "foo" VERNAC COMMAND EXTEND foo CLASSIFIED AS SIDEFF | [ "Foo" ] -> { } END VERNAC...

test-suite fails with a LaTeX error dependency error which is not mentioned anywhere in the build configuration

11

#### Description of the problem ``` LaTeX Error: File `tipa.sty' not found. ``` See https://launchpadlibrarian.net/462022605/buildlog_ubuntu-bionic-amd64.coq-8.11.0_8.11.0-1~bionic~ppa117_BUILDING.txt.gz Either the test-suite should not depend on this, or configure should check for it, I...

[FEATURE REQUEST] More customization (or documentation) of `--source-map`.

1

**Is your feature request related to a problem? Please describe.** In the build system for my project, I generate a couple different versions of the .byte files, and then pick...

[BUG] js_of_ocaml is excessively memory hungry

3

**Describe the bug** `js_of_ocaml` is very cool! I use it on CI to generate a webpage. However, I cannot use it on the new GitHub Actions arm64 MacOS boxes, which...

Load event fires twice, or not at all, in some cases

1

In some browsers (Chrome, and I think Firefox), code like ``` $('') .attr('src', 'http://static.jquery.com/files/rocker/images/logo_jquery_215x53.gif') .load(function () { alert(0); }); ``` fires fine without the imgloaded patch, but does not fire...

libxpdf: Syntax Error: AcroForm field object is wrong type when mixing tikzexternal with animate

2

### Brief outline of the bug Mixing `animateinline` with `\tikzexternalize` seems to result in a slew of `libxpdf: Syntax Error: AcroForm field object is wrong type`. I can't tell if...

`\pgfimage` should support `\graphicspath`

9

### Brief outline of the bug Using `includegraphics cmd=\pgfimage` breaks use of `\graphicspath` ### Minimal working example (MWE) ```latex \documentclass{article} \usepackage[utf8]{inputenc} \usepackage{pgfplots} \DeclareUnicodeCharacter{2212}{−} \usepgfplotslibrary{groupplots,dateplot} \usetikzlibrary{patterns,shapes.arrows} \pgfplotsset{compat=newest} \usepackage{graphicx} \usepackage{amssymb} \begin{document} \begin{figure}...

[CI] Bump ci-jasmin

6

cf https://github.com/coq/coq/pull/18449#issuecomment-2118895265 This is to allow coqbot to minimize #18449, cf https://github.com/coq/coq/pull/18449#issuecomment-2119523320

Fixes #13 Code written with help of ChatGPT, tested locally.