Mario Xerxes Castelán Castro

There is a possible problem that _proofs_ for the same sequent are not interchangeable in the general case because of tags. In most practical cases, this is probably no obstacle,...

If this is implemented, it would be better to _move_ the old theory and then compare the new and the old file byte for byte, file instead of overwriting it...

I suggest the GNU General Public License 3 or any later version because it is a Copyleft license (See https://www.gnu.org/philosophy/pragmatic.html). Currently, as it stands, we can't tell from this repository...

The preferred way is to include the license header in **all** files (Including, of course Makefiles and documentation). This license header may be found in the section entitled _How to...

I tried with both, on separate occasions, and it fails on both with the same error.

Thanks for your attempt.

Both are allowed but they serve no purpose. From [HTML vs. XHTML](https://wiki.whatwg.org/wiki/HTML_vs._XHTML) in the WHATWG wiki: > `meta` is only allowed as case-insensitive "UTF-8" (and **is ignored** if included). >...

> to allow the documents to be parsed by the widest possible set of user agents. This is incorrect. User agents do not have a choice on whether they interpret...

> but [the `DOCTYPE` declaration] does tell browsers that the document is HTML 5. Incorrect. The [relevant section](https://html.spec.whatwg.org/multipage/xhtml.html#the-xhtml-syntax) of the HTML5 standard says no such thing. > One of the...

> > Incorrect. The relevant section of the HTML5 standard says no such thing. > > The page you linked says "XML documents may contain a DOCTYPE if desired, but...