Jason Eisner

Results 152 comments of Jason Eisner

Commenting again to keep the issue open.

Commenting again to keep the issue open.

commenting again to keep this issue open

Thanks for the pointer to the related project. I think redlines CLI is more useful for shorter text that can be compared at the terminal or in a bash_kernel notebook...

As you like. Although to prevent a profusion of CLIs, I wonder this should just be an option to your existing script? (I could also imagine the existing script warning...

No, bibtex doesn't do titlecasing! That's why I spend too much time fixing my co-authors' incorrect .bib files. :-/ .bib files have to _already_ provide titlecase as input because bibtex...

> though feel free to re-open if you feel strongly otherwise). I don't seem to have the power to do so, though I can still comment.

> more like a "include escape sequences for bibtex in output" mode? Yes, and also respect them if they're in the input. If you can reopen the issue, maybe I...

> Not sure if this will help but for me, wrapping a correctly capitalized title inside {{}} in the bib.ref file results in correctly rendered titles. Many people commit this...

> I would just envision it as a separate project dedicated to bibtex casing Note that it is nontrivial to figure out which words should be protected with {} in...