Bug 68416

Summary: [new port] devel/xtla: An Emacs front-end to tla
Product: Ports & Packages Reporter: Dryice Liu <dryice>
Component: Individual Port(s)Assignee: freebsd-ports-bugs (Nobody) <ports-bugs>
Status: Closed FIXED    
Severity: Affects Only Me CC: dryice
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
xtla.shar none

Description Dryice Liu 2004-06-27 12:00:35 UTC 
	Attached is the shar file for xtla, an Emacs front-end to tla

How-To-Repeat: 	N/A
Comment 1 Pav Lucistnik freebsd_committer freebsd_triage 2004-07-02 10:33:21 UTC 
State Changed
From-To: open->closed

New port added, thank you!