Extension:Literate Twelf

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:

Literate Twelf (ID: 157471)

URL:

http://www.cs.cmu.edu/~rjsimmon/

Description:

Author(s):

Robert J. Simmons

License:

Current version:

Extension type(s):

other

Tags:

So far this extension has not been tagged.

Related skins:

This extension has no related skins.

Composer:

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

OpenHub:

Wiki website count:

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

Note:

So far no note has been added for this extension.

Segments:

day: 6, hour: 7

Ratings:

0 person has rated this extension:

Ease of installation:

Usability:

Documentation quality:

Login to rate this extension.

Version Breakdown for Literate Twelf

Versions	unknown
1.26	1

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

	wiki site name	MediaWiki version	extension version	wiki farm
The Twelf Project#Extension Literate Twelf	The Twelf Project	1.26.2	unknown