Commit Graph

Select branches

Hide Pull Requests

feature-newoperator

master

Mono Color

• 281626481c Introduce \newoperator feature-newoperator Christopher Spinrath 2018-06-28 12:14:21 +0200
• fb9d553134 [Doc] Correct and improve small passages, add example for \newrelation. master Gaetano Geck 2018-04-29 13:36:35 +0200
• afb16f8ef4 [Doc] Add subsections to Section 2, Defining notation. Gaetano Geck 2018-04-29 13:00:47 +0200
• fa83015aa9 [Doc] Add table of contents. Gaetano Geck 2018-04-29 12:54:01 +0200
• a89006f91c [Doc] Use \newrelation* for \satisfies in the main example. Gaetano Geck 2018-04-29 12:53:25 +0200
• 76d33ff457 [Fix] \renewnotation: check for correct argument whether it is already defined. Gaetano Geck 2018-04-29 13:18:18 +0200
• fb1e5bbb44 [Git] Initial commit (version 0.95). Gaetano Geck 2018-04-29 12:40:12 +0200
• 1498952c52 [Git] Fix exclusion of PDFs. Gaetano Geck 2018-04-29 12:40:38 +0200
• 38191c115d Initial commit Gaetano Geck 2018-04-27 09:16:56 +0200