plugin:ebnf
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
plugin:ebnf [2015-02-16 09:04] – [Download and Installation] 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 : 2015-02-16 | + | 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 : http:// | + | bugtracker : https:// |
- | sourcerepo : http:// | + | sourcerepo : https:// |
- | donationurl: | + | |
+ | screenshot_img | ||
---- | ---- | ||
===== Download and Installation ===== | ===== Download and Installation ===== | ||
- | Download | + | Search |
- | 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.1424073897.txt.gz · Last modified: 2015-02-16 09:04 by 46.245.150.2