plugin:ebnf
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
plugin:ebnf [2014-10-15 08:56] – [EBNF Plugin] 46.245.150.2 | plugin:ebnf [2023-09-28 00:56] (current) – tscherter | ||
---|---|---|---|
Line 4: | Line 4: | ||
description: | description: | ||
author | author | ||
- | email : tscherter@karmin.ch | + | email : vincent@tscherter.ch |
type : Syntax | type : Syntax | ||
- | lastupdate : 2009-01-19 | + | lastupdate : 2023-09-27 |
- | compatible : | + | compatible : Greebo |
depends | depends | ||
conflicts | conflicts | ||
Line 13: | Line 13: | ||
tags : media, images, diagram | tags : media, images, diagram | ||
- | downloadurl: | + | downloadurl: |
- | ---- | + | bugtracker : https:// |
+ | sourcerepo : https:// | ||
- | **FIXME The links on this page are broken. ** | + | screenshot_img : https:// |
+ | ---- | ||
===== Download and Installation ===== | ===== Download and Installation ===== | ||
- | Download | + | Search |
- | * http:// | + | |
- | See also: http:// | + | See also: https:// |
===== Syntax Example ===== | ===== Syntax Example ===== | ||
<code text> | <code text> | ||
< | < | ||
- | | + | syntax |
- | production = identifier " | + | production = identifier " |
- | expression = term { " | + | expression = term { " |
- | term = factor { factor } . | + | term = factor { factor } . |
- | factor | + | factor |
- | | + | |
- | | + | |
- | | + | |
- | | + | |
- | identifier = character { character } . | + | identifier = character { character } . |
- | literal | + | title = literal . |
- | | + | comment |
- | } </ | + | literal |
+ | | ||
+ | }</ | ||
</ | </ | ||
- | {{http:// | + | === Changelog === |
+ | {{rss> | ||
plugin/ebnf.1413356176.txt.gz · Last modified: 2014-10-15 08:56 by 46.245.150.2