Something went wrong. Try again.
the next generation of the in-browser educational proof assistant
Something went wrong. Try again.
579 B · 14 lines
at main
123456789101112131415<?xml version="1.0"?><!-- SPDX-License-Identifier: CC0-1.0 --><xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform" xmlns:f="http://www.forester-notes.org">
<xsl:output method="html" encoding="utf-8" indent="yes" doctype-public="" doctype-system="" omit-xml-declaration="yes"/> <xsl:strip-space elements="f:author f:contributor"/> <xsl:include href="core.xsl" /> <xsl:include href="metadata.xsl" /> <xsl:include href="links.xsl" /> <xsl:include href="tree.xsl" />
<!-- <xsl:template match="pause"></xsl:template> -->
</xsl:stylesheet>