Package Descriptions for Ubuntu

Browsing Chinese (Traditional) translation

  1. Series bionic
  2. Template “ddtp-ubuntu-universe”
  3. Chinese (Traditional) (zh_TW)
  4. Browsing Chinese (Traditional) transl...
253 of 116975 results First • • • Last
253.
This package contains an emacs interface to ACL2.
 
Description
此套件包含 ACL2 的 emacs 介面。
Translated and reviewed by Walter Cheuk
Located in Package: elpa-acl2
253 of 116975 results First • • • Last

This translation is managed by Ubuntu Traditional Chinese (Taiwan) Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.