Jonathan Protzenko
Jonathan Protzenko
@cmovcc can I let you add Guido's patch to this PR? thanks!
What's the status of this? Should it be merged?
Alright, but the reason I'm making my opam point to your repository is to take advantage of cygwinports and depext-cygwinports. dra27's OPAM repository doesn't have that, does it? Any chance...
I will read in more detail later but for now my feedback is that this needs to remain a modular, type-based analysis, so an attribute on the function seems like...
What happens if the simplification criterion gets improved and starts detecting more functions? Would this break proofs that depended on the previous behavior?
I'm surprised because I didn't see any changes happen in ocamlbuild that would be related to quoting... I can try building camlp4 with the old toolchain but that's ugly.
Edit: you can't build camlp4 4.X with OCaml 4.Y (and X Y).
Yeah I use vim but I don't use this plugin. As far as I know, I never could get it to work reliably...
no we pinned sphinx to the previous version -- I'm observing this with my local machine: ``` jonathan@absinthe:~/Code/mitls-fstar (no_hsl) $ sphinx-build --version sphinx-build 2.4.3 ``` and also on the CI...
indeed, it looks like sphinx_rtd_theme now slaps `white-space: nowrap` on `` HTML tags any way you could skip the `` tag? right now the structure is ``` stuff over multiple...