plugin:ebnf
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
plugin:ebnf [2009-04-09 12:07] – 212.84.235.66 | 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 | ||
similar | similar | ||
- | tags : | + | tags : |
+ | |||
+ | downloadurl: | ||
+ | bugtracker : https:// | ||
+ | sourcerepo : https:// | ||
+ | |||
+ | screenshot_img : https:// | ||
---- | ---- | ||
===== Download and Installation ===== | ===== Download and Installation ===== | ||
- | Download | + | Search |
- | * http:// | + | |
- | See also: http://wiki.karmin.ch/ | + | 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.1239271649.txt.gz · Last modified: 2009-10-07 19:32 (external edit)