vasilito
facf0c92e0
Red Bear OS is a full fork. All sources must be available from git clone with zero network access. Removed gitignore rules that excluded fetched source trees under recipes/*/source/, local/recipes/kde/*/source/, local/recipes/qt/*/source/, and vendor source trees. Build artifacts (target/, build/, source.tar, *.o, *.so) remain excluded. 127291 files added — kernel, relibc, base, bootloader, pkgar, all KDE/Qt frameworks, mesa, wayland, DRM drivers, and every other recipe source.
61 lines
1.4 KiB
XML
61 lines
1.4 KiB
XML
<?xml version="1.0" encoding="iso-8859-1"?>
|
|
<!-- $Id: spec.rng,v 1.3 2001/10/23 05:54:24 jjc Exp $ -->
|
|
<grammar xmlns="http://relaxng.org/ns/structure/1.0"
|
|
datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes"
|
|
xmlns:p="http://relaxng.org/ns/proofsystem">
|
|
|
|
<start>
|
|
<grammar>
|
|
<include href="docbook.rng"/>
|
|
<define name="synop.class" combine="choice">
|
|
<choice>
|
|
<parentRef name="rngref"/>
|
|
<parentRef name="grammarref"/>
|
|
<grammar>
|
|
<include href="proofsystem.rng"/>
|
|
<start combine="choice">
|
|
<ref name="formula"/>
|
|
</start>
|
|
</grammar>
|
|
</choice>
|
|
</define>
|
|
<define name="tech.char.class" combine="choice">
|
|
<parentRef name="terms"/>
|
|
</define>
|
|
</grammar>
|
|
</start>
|
|
|
|
<define name="rngref">
|
|
<element name="rngref">
|
|
<attribute name="src">
|
|
<data type="anyURI"/>
|
|
</attribute>
|
|
</element>
|
|
</define>
|
|
|
|
<define name="grammarref">
|
|
<element name="grammarref">
|
|
<attribute name="src">
|
|
<data type="anyURI"/>
|
|
</attribute>
|
|
</element>
|
|
</define>
|
|
|
|
<define name="terms">
|
|
<grammar>
|
|
<include href="proofsystem.rng">
|
|
<start>
|
|
<choice>
|
|
<ref name="expr"/>
|
|
<ref name="judgement"/>
|
|
<ref name="context"/>
|
|
</choice>
|
|
</start>
|
|
</include>
|
|
</grammar>
|
|
</define>
|
|
|
|
</grammar>
|
|
|
|
|