Results (171 - 179 of 179)
- [b9372a3a9859a94e8b63a35f53fe7abf1789bc22]: Bug: https://trac.macports.org/ticket/1536 Submitted by: ...
- ... macports.org/ticket/1536 Submitted by: reilles@loria.fr (Antoine Reilles) Reviewed by: olegb@ Approved by: Obtained from: port: lbdb version: 0.29 initial checkin, thanks Antoine! git-svn-id: https://svn.macports.org/repository/macports/trunk/dports@5578 d073be05-634f-454 ...
- By Ole Guldberg Jensen <olegb@…> — Feb 24, 2004, 3:09:34 PM
- [5576]: Bug: 1535 Submitted by: reilles@loria.fr (Antoine ...
- Bug: 1535 Submitted by: reilles@loria.fr (Antoine Reilles) Reviewed by: olegb@ Approved by: Obtained from: port: bibtex2html version: 1.65 initial check in
- By olegb — Feb 24, 2004, 2:58:33 PM
- [385f805344f13d9b6d293e0ef9d839b7f56d603c]: Bug: https://trac.macports.org/ticket/1535 Submitted by: ...
- ... macports.org/ticket/1535 Submitted by: reilles@loria.fr (Antoine Reilles) Reviewed by: olegb@ Approved by: Obtained from: port: bibtex2html version: 1.65 initial check in git-svn-id: https://svn.macports.org/repository/macports/trunk/dports@5576 d073be05-634f-4543-b044-5f ...
- By Ole Guldberg Jensen <olegb@…> — Feb 24, 2004, 2:58:33 PM
- Portfile (Ticket #1542)
- The Portfile : it worked well for me
- By reilles@… — Feb 23, 2004, 3:16:26 PM
- #1542: defect: NEW: coq-8.0beta (closed: fixed)
- ortname-1.2.3 the portfile can be found here: ATTACHED or http://www.loria.fr/~reilles/dports/lang/coq/Portfile Description: Proof assistant for higher-order logic Coq is a proof assistant for higher-order logic, which allows the devel ...
- By reilles@… — Feb 23, 2004, 3:15:21 PM
- Portfile (Ticket #1536)
- the promised Portfile
- By reilles@… — Feb 21, 2004, 3:20:50 PM
- #1536: defect: NEW: lbdb-0.28.2 (closed: fixed)
- lbdb-0.28.2 the portfile can be found here: ATTACHED or http://www.loria.fr/~reilles/dports/mail/lbdb/Portfile Description: This package was inspired by the Big Brother Database package available for various Emacs mailers, and by Brando ...
- By reilles@… — Feb 21, 2004, 3:19:44 PM
- Portfile (Ticket #1535)
- The submitted Portfile for bibtex2html
- By reilles@… — Feb 21, 2004, 12:53:50 PM
- #1535: defect: bibtex2html-1.65 (closed: fixed)
- bibtex2html-1.65 the portfile can be found here: ATTACHED or http://www.loria.fr/~reilles/dports/textproc/bibtex2html/Portfile Description: bibtex2html is a collection of tools for translating from BibTeX to HTML. They allow to produc ...
- By reilles@… — Feb 21, 2004, 12:52:28 PM
Note: See TracSearch
for help on searching.