Extension:Twelf Upload

Catalogue observations

This extension has not yet been observed in the reviewed catalogue sample. Verified catalogue inventory. Counts cover the reviewed sample. Installed versions do not identify the latest release.

Name:

Twelf Upload (ID: 111790)

URL:

http://kwarc.info/clange/

Description:

Author(s):

Christoph Lange

License:

Current version:

Extension type(s):

TwelfUpload

Tags:

So far this extension has not been tagged.

Related skins:

This extension has no related skins.

Composer:

Composer information is not available for Twelf Upload.
Upload Search Packagist for Twelf Upload.

OpenHub:

Wiki website count:

0 (0%):— farm: 0 (0%), standalone: 0 (0%)

Note:

So far no note has been added for this extension.

Segments:

day: 0, hour: 22

Ratings:

0 person has rated this extension:

Ease of installation:

Usability:

Documentation quality:

Login to rate this extension.

Version Breakdown for Twelf Upload

Versions	0.1
1.16	1

This Twelf Upload extension is in use on the following wiki websites:

	wiki site name	MediaWiki version	extension version	wiki farm
MathWeb#Extension Twelf Upload	MathWeb	1.16.2	0.1