Ricardo Honorato-Zimmer
Ricardo Honorato-Zimmer
Hi Yihui, thanks for your reply. The link to the "default HTML template" (https://github.com/jgm/pandoc-templates/blob/master/default.html) on that page is broken.
Hi Yihui, I'm reading the template now and I don't see where or how the theme gets included in it. Is it included in the `css` list when `self_contained` is...
There are lots of things that don't get added to the html with `theme: null` that are not in the template and are not related to bootstrap like some css...
Also, the `h1` element gets wrapped into a `` which I can't replicate using `includes` or `template`.
Hi guys, just stumbled upon this page. I see there was some activity in 2018. Are there any news about it?
I get `[NaN, NaN]` too when doing the following ```typescript const ori = [-71.6235577, -33.0446605] log(projection.forward({ x: ori[0], y: ori[1] })) log(proj4(stereoProj, ori)) log(proj4("WGS84", stereoProj, ori)) ```
Maybe this issue is related to #290?
Hi. I cloned the repo and switched to the `coq-8.15` branch but it doesn't compile. It finishes the attempt at compilation with ``` make[1]: Entering directory '/home/user/code/coq/metacoq/pcuic' make[1]: *** No...
I thought so... well, just consider it a feature request, users could make for a good namespace and deletion would be also quite nice.
My hope would be that they are not stored and, if the protocol allows for that, not even fetched.