Extension:Literate Twelf

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.02%)

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