|
|
151.
|
|
|
Ack is designed as a replacement for 99% of the uses of grep. ack is intelligent about the files it searches. It knows about certain file types, based on both the extension on the file and, in some cases, the contents of the file.
|
|
|
Description
|
|
|
|
|
Ack je náhradou 99% využití programu grep. ack je inteligentní při prohledávání souborů. Zná některé typy souborů, k jejichž určení nepoužívá jen přípony souborů, ale zkoumá i jejich obsah.
|
|
Translated by
Michael Vogt
|
|
|
|
Located in
Package: ack-grep
|
|
|
152.
|
|
|
Ack ignores backup files and files under CVS and .svn directories. It also highlights matches to help you see where the match was. Ack uses perl regular expressions.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: ack
|
|
|
153.
|
|
|
A Computational Logic for Applicative Common Lisp: main binary
|
|
|
Summary
|
|
|
|
|
Počítačová logika pro Applicative Common Lisp: hlavní soubory
|
|
Translated and reviewed by
Michael Vogt
|
|
|
|
Located in
Package: acl2
|
|
|
154.
|
|
|
This package contains the base ACL2 binary.
|
|
|
Description
|
|
|
|
|
Balíček obsahuje základní programy ACL2.
|
|
Translated and reviewed by
Michael Vogt
|
|
|
|
Located in
Package: acl2
|
|
|
155.
|
|
|
A Computational Logic for Applicative Common Lisp: compiled libraries
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books
|
|
|
156.
|
|
|
This package contains numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books
|
|
|
157.
|
|
|
A Computational Logic for Applicative Common Lisp: library certificates
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books-certs
|
|
|
158.
|
|
|
This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books-certs
|
|
|
159.
|
|
|
A Computational Logic for Applicative Common Lisp: library sources
|
|
|
Summary
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books-source
|
|
|
160.
|
|
|
This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.
|
|
|
Description
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
Package: acl2-books-source
|
