wilbowma/mttex issues and pull requests

#46 - Title caps messes with JFP bibliography style

Issue - State: open - Opened by pkoronkevich about 3 years ago

#46 - Title caps messes with JFP bibliography style

Issue - State: open - Opened by pkoronkevich about 3 years ago

#45 - update for pldi

Pull Request - State: closed - Opened by jsarracino over 6 years ago - 2 comments

#45 - update for pldi

Pull Request - State: closed - Opened by jsarracino over 6 years ago - 2 comments

#44 - Old `sigplan` bib formatting code emitted even when `nosigplan` specified

Issue - State: closed - Opened by jsarracino over 6 years ago - 2 comments

#44 - Old `sigplan` bib formatting code emitted even when `nosigplan` specified

Issue - State: closed - Opened by jsarracino over 6 years ago - 2 comments

#43 - Use ensuremath in all newlanguage macros

Issue - State: closed - Opened by wilbowma over 6 years ago

#43 - Use ensuremath in all newlanguage macros

Issue - State: closed - Opened by wilbowma over 6 years ago

#42 - Document new dependent types stuff

Issue - State: open - Opened by wilbowma almost 7 years ago

#42 - Document new dependent types stuff

Issue - State: open - Opened by wilbowma almost 7 years ago

#41 - techrpt option doesn't play well with acmsmall

Issue - State: closed - Opened by wilbowma over 7 years ago - 1 comment

#41 - techrpt option doesn't play well with acmsmall

Issue - State: closed - Opened by wilbowma over 7 years ago - 1 comment

#40 - Separate metavar font

Issue - State: open - Opened by nrioux over 7 years ago - 4 comments

#40 - Separate metavar font

Issue - State: open - Opened by nrioux over 7 years ago - 4 comments

#39 - Too many math alphabets

Issue - State: closed - Opened by maxsnew almost 8 years ago - 2 comments

#39 - Too many math alphabets

Issue - State: closed - Opened by maxsnew almost 8 years ago - 2 comments

#38 - Various features

Pull Request - State: open - Opened by gasche almost 8 years ago - 1 comment

#38 - Various features

Pull Request - State: open - Opened by gasche almost 8 years ago - 1 comment

#37 - Remove omit; use comment instead

Issue - State: open - Opened by wilbowma almost 8 years ago

#37 - Remove omit; use comment instead

Issue - State: open - Opened by wilbowma almost 8 years ago

#36 - Slow build times: split up package, more optin

Issue - State: open - Opened by wilbowma almost 8 years ago - 2 comments

#36 - Slow build times: split up package, more optin

Issue - State: open - Opened by wilbowma almost 8 years ago - 2 comments

#35 - Maybe add templates of standard typing rules, semantics?

Issue - State: open - Opened by wilbowma over 8 years ago

#35 - Maybe add templates of standard typing rules, semantics?

Issue - State: open - Opened by wilbowma over 8 years ago

#34 - Inconsistent syntax for binders

Issue - State: open - Opened by wilbowma over 8 years ago

#34 - Inconsistent syntax for binders

Issue - State: open - Opened by wilbowma over 8 years ago

#33 - Some meta vars not obeying fonts

Issue - State: open - Opened by wilbowma over 8 years ago

#33 - Some meta vars not obeying fonts

Issue - State: open - Opened by wilbowma over 8 years ago

#32 - Colors and abstraction can screw up kerning in math

Issue - State: open - Opened by wilbowma over 8 years ago

#32 - Colors and abstraction can screw up kerning in math

Issue - State: open - Opened by wilbowma over 8 years ago

#31 - Remove mathpartir from repo

Issue - State: closed - Opened by wilbowma over 8 years ago

#31 - Remove mathpartir from repo

Issue - State: closed - Opened by wilbowma over 8 years ago

#30 - Add `via` to lcworld list.

Issue - State: closed - Opened by wilbowma over 8 years ago - 1 comment

#30 - Add `via` to lcworld list.

Issue - State: closed - Opened by wilbowma over 8 years ago - 1 comment

#29 - Perhaps color only on "active" symbols

Issue - State: open - Opened by wilbowma over 8 years ago

#29 - Perhaps color only on "active" symbols

Issue - State: open - Opened by wilbowma over 8 years ago

#28 - define, use and document higher-level spacing macros

Pull Request - State: closed - Opened by gasche over 8 years ago - 13 comments

#28 - define, use and document higher-level spacing macros

Pull Request - State: closed - Opened by gasche over 8 years ago - 13 comments

#27 - Use mathpunct more

Issue - State: closed - Opened by wilbowma over 8 years ago - 1 comment

#27 - Use mathpunct more

Issue - State: closed - Opened by wilbowma over 8 years ago - 1 comment

#26 - use mathpunct spacing for the comma in pair expressions

Pull Request - State: closed - Opened by gasche over 8 years ago - 5 comments

#26 - use mathpunct spacing for the comma in pair expressions

Pull Request - State: closed - Opened by gasche over 8 years ago - 5 comments

#25 - Metavars suffixes

Pull Request - State: closed - Opened by gasche over 8 years ago - 3 comments

#25 - Metavars suffixes

Pull Request - State: closed - Opened by gasche over 8 years ago - 3 comments

#24 - Missing documentation

Issue - State: open - Opened by wilbowma about 9 years ago

#24 - Missing documentation

Issue - State: open - Opened by wilbowma about 9 years ago

#23 - Fix typo in README. :)

Pull Request - State: closed - Opened by lkuper about 9 years ago - 1 comment

#23 - Fix typo in README. :)

Pull Request - State: closed - Opened by lkuper about 9 years ago - 1 comment

#22 - Subsubsection doesn't work

Issue - State: closed - Opened by nrioux over 9 years ago - 1 comment

#22 - Subsubsection doesn't work

Issue - State: closed - Opened by nrioux over 9 years ago - 1 comment

#21 - More auto-title case

Issue - State: open - Opened by wilbowma over 9 years ago - 1 comment

#21 - More auto-title case

Issue - State: open - Opened by wilbowma over 9 years ago - 1 comment

#20 - Check this out

Issue - State: open - Opened by wilbowma over 9 years ago
Labels: enhancement

#20 - Check this out

Issue - State: open - Opened by wilbowma over 9 years ago
Labels: enhancement

#19 - invisible subscripts

Issue - State: closed - Opened by wilbowma over 9 years ago - 1 comment

#19 - invisible subscripts

Issue - State: closed - Opened by wilbowma over 9 years ago - 1 comment

#18 - Added support for "this paper will be much easier to read if viewed in color"

Issue - State: open - Opened by wilbowma over 9 years ago

#18 - Added support for "this paper will be much easier to read if viewed in color"

Issue - State: open - Opened by wilbowma over 9 years ago

#17 - Document/properly implement theoremS

Issue - State: open - Opened by wilbowma over 9 years ago

#17 - Document/properly implement theoremS

Issue - State: open - Opened by wilbowma over 9 years ago

#16 - Add multi-part theorems

Issue - State: open - Opened by wilbowma over 9 years ago

#16 - Add multi-part theorems

Issue - State: open - Opened by wilbowma over 9 years ago

#15 - Move amal.bib to mttex.bib?

Issue - State: closed - Opened by wilbowma over 9 years ago - 2 comments

#15 - Move amal.bib to mttex.bib?

Issue - State: closed - Opened by wilbowma over 9 years ago - 2 comments

#14 - Add new figure abstraction

Issue - State: open - Opened by wilbowma over 9 years ago
Labels: enhancement

#14 - Add new figure abstraction

Issue - State: open - Opened by wilbowma over 9 years ago
Labels: enhancement

#13 - New macro for judgment boxes

Issue - State: closed - Opened by wilbowma over 9 years ago - 1 comment
Labels: enhancement

#13 - New macro for judgment boxes

Issue - State: closed - Opened by wilbowma over 9 years ago - 1 comment
Labels: enhancement

#12 - Incomprehensible naming conventions

Issue - State: closed - Opened by wilbowma over 9 years ago - 2 comments

#12 - Incomprehensible naming conventions

Issue - State: closed - Opened by wilbowma over 9 years ago - 2 comments

#11 - A better subst

Issue - State: open - Opened by wilbowma over 9 years ago

#11 - A better subst

Issue - State: open - Opened by wilbowma over 9 years ago

#10 - [CLOSED] superscripts should appear above subscripts, right?

Issue - State: closed - Opened by wilbowma over 9 years ago - 2 comments

#9 - A better \lemref

Issue - State: closed - Opened by wilbowma over 9 years ago - 2 comments

#8 - Rename project

Issue - State: closed - Opened by wilbowma over 9 years ago - 4 comments

#7 - [CLOSED] tabelofcontents does not work

Issue - State: closed - Opened by wilbowma over 9 years ago

#6 - [CLOSED] Bad error messages with meta-variables

Issue - State: closed - Opened by wilbowma over 9 years ago

#5 - Abstract more meta-theory

Issue - State: open - Opened by wilbowma over 9 years ago

#4 - [CLOSED] Reduce reliance on other packages

Issue - State: closed - Opened by wilbowma over 9 years ago - 1 comment

#3 - [CLOSED] Enable prefix and suffix generation for constrs

Issue - State: closed - Opened by wilbowma over 9 years ago

#2 - [CLOSED] Reconsider macro names

Issue - State: closed - Opened by wilbowma over 9 years ago

#1 - [CLOSED] Documentation

Issue - State: closed - Opened by wilbowma over 9 years ago

GitHub / wilbowma/mttex issues and pull requests