plugin:label
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
plugin:label [2010-10-10 11:31] – gturri | plugin:label [2015-09-13 19:22] (current) – Aleksandr | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== | + | ====== |
---- plugin ---- | ---- plugin ---- | ||
- | description: | + | description: |
author | author | ||
email : bihler@iai.uni-bonn.de | email : bihler@iai.uni-bonn.de | ||
type : syntax | type : syntax | ||
lastupdate : 2007-05-14 | lastupdate : 2007-05-14 | ||
- | compatible : 2008-05-05, 2006-11-06, 2007-05-24, 2007-06-26b | + | compatible : Anteater, Rincewind, Angua |
depends | depends | ||
conflicts | conflicts |
plugin/label.1286703087.txt.gz · Last modified: 2010-10-10 11:31 by gturri