Package Descriptions for Ubuntu

Browsing French translation

Using as a guide

168.

English:

This package contains the source files to the infix interface to ACL2.

Description

Current French:

Ce paquet contient les fichiers source pour l'interface infix d'ACL2

Translated by Mika on 2007-08-20

Reviewed by Pierre Slamich on 2008-08-14

Shared:

Ce paquet contient les fichiers source pour l'interface infix de ACL2.

Suggested by SarahSlean on 2011-12-25

Located in Package: acl2-infix-source

This translation is managed by Ubuntu French Translators, assigned by Ubuntu Translators.

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