![[BACK]](/icons/back.gif){kind=icon}
Up to [cvs.NetBSD.org] / pkgsrc / lang / twelf
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.25, Sun Jan 4 10:14:14 2015 UTC (9 years, 3 months ago) by dholland
Branch: MAIN
CVS Tags: HEAD
Changes since 1.24: +1 -1
lines
FILE REMOVED
Remove lang/twelf, as proposed on pkgsrc-users; it has not built in years, is pretty well dead upstream, and is no longer of much interest for research either.
Revision 1.24 / (download) - annotate - [select for diffs], Sat Apr 6 20:27:23 2013 UTC (11 years ago) by rodent
Branch: MAIN
CVS Tags: pkgsrc-2014Q4-base,
pkgsrc-2014Q4,
pkgsrc-2014Q3-base,
pkgsrc-2014Q3,
pkgsrc-2014Q2-base,
pkgsrc-2014Q2,
pkgsrc-2014Q1-base,
pkgsrc-2014Q1,
pkgsrc-2013Q4-base,
pkgsrc-2013Q4,
pkgsrc-2013Q3-base,
pkgsrc-2013Q3,
pkgsrc-2013Q2-base,
pkgsrc-2013Q2
Changes since 1.23: +2 -2
lines
Diff to previous 1.23 (colored) to selected 1.15 (colored)
Resolves: "INFO_FILES should be set to YES or yes." "Packages that install info files should set INFO_FILES." Makefile and PLIST warning, respectively.
Revision 1.23 / (download) - annotate - [select for diffs], Sun Feb 17 19:18:05 2013 UTC (11 years, 2 months ago) by dholland
Branch: MAIN
CVS Tags: pkgsrc-2013Q1-base,
pkgsrc-2013Q1
Changes since 1.22: +2 -2
lines
Diff to previous 1.22 (colored) to selected 1.15 (colored)
Revbump all elisp packages after emacs changes.
Revision 1.22 / (download) - annotate - [select for diffs], Tue Oct 2 20:11:56 2012 UTC (11 years, 6 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2012Q4-base,
pkgsrc-2012Q4
Changes since 1.21: +1 -3
lines
Diff to previous 1.21 (colored) to selected 1.15 (colored)
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Revision 1.21 / (download) - annotate - [select for diffs], Thu Feb 4 01:21:39 2010 UTC (14 years, 2 months ago) by joerg
Branch: MAIN
CVS Tags: pkgsrc-2012Q3-base,
pkgsrc-2012Q3,
pkgsrc-2012Q2-base,
pkgsrc-2012Q2,
pkgsrc-2012Q1-base,
pkgsrc-2012Q1,
pkgsrc-2011Q4-base,
pkgsrc-2011Q4,
pkgsrc-2011Q3-base,
pkgsrc-2011Q3,
pkgsrc-2011Q2-base,
pkgsrc-2011Q2,
pkgsrc-2011Q1-base,
pkgsrc-2011Q1,
pkgsrc-2010Q4-base,
pkgsrc-2010Q4,
pkgsrc-2010Q3-base,
pkgsrc-2010Q3,
pkgsrc-2010Q2-base,
pkgsrc-2010Q2,
pkgsrc-2010Q1-base,
pkgsrc-2010Q1
Changes since 1.20: +13 -11
lines
Diff to previous 1.20 (colored) to selected 1.15 (colored)
DESTDIR support
Revision 1.20 / (download) - annotate - [select for diffs], Thu Aug 6 01:44:53 2009 UTC (14 years, 8 months ago) by minskim
Branch: MAIN
CVS Tags: pkgsrc-2009Q4-base,
pkgsrc-2009Q4,
pkgsrc-2009Q3-base,
pkgsrc-2009Q3
Changes since 1.19: +2 -1
lines
Diff to previous 1.19 (colored) to selected 1.15 (colored)
PKGREVISION bump for elisp packages because of bytecode format changes in emacs23.
Revision 1.19 / (download) - annotate - [select for diffs], Tue May 19 08:59:20 2009 UTC (14 years, 11 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2009Q2-base,
pkgsrc-2009Q2
Changes since 1.18: +4 -4
lines
Diff to previous 1.18 (colored) to selected 1.15 (colored)
Use standard location for LICENSE line (in MAINTAINER/HOMEPAGE/COMMENT block). Uncomment some commented out LICENSE lines while here.
Revision 1.18 / (download) - annotate - [select for diffs], Sat Oct 11 09:31:57 2008 UTC (15 years, 6 months ago) by uebayasi
Branch: MAIN
CVS Tags: pkgsrc-2009Q1-base,
pkgsrc-2009Q1,
pkgsrc-2008Q4-base,
pkgsrc-2008Q4
Changes since 1.17: +2 -2
lines
Diff to previous 1.17 (colored) to selected 1.15 (colored)
Move mk/emacs.mk to editors/emacs/modules.mk. Don't call pkg_info to get the installed Emacs version; always use the version matching EMACS_TYPE set by users. Be DEPENDS to it. This should address pkg/37146 by Aleksey Cheusov. While here convert some emacs lisp packages to user-destdir.
Revision 1.17 / (download) - annotate - [select for diffs], Mon May 26 02:13:21 2008 UTC (15 years, 10 months ago) by joerg
Branch: MAIN
CVS Tags: pkgsrc-2008Q3-base,
pkgsrc-2008Q3,
pkgsrc-2008Q2-base,
pkgsrc-2008Q2,
cwrapper,
cube-native-xorg-base,
cube-native-xorg
Changes since 1.16: +7 -5
lines
Diff to previous 1.16 (colored) to selected 1.15 (colored)
Second round of explicit pax dependencies. As reminded by tnn@,
many packages used to use ${PAX}. Use the common way of directly calling
pax, it is created as tool after all.
Revision 1.16 / (download) - annotate - [select for diffs], Wed Sep 5 01:06:07 2007 UTC (16 years, 7 months ago) by joerg
Branch: MAIN
CVS Tags: pkgsrc-2008Q1-base,
pkgsrc-2008Q1,
pkgsrc-2007Q4-base,
pkgsrc-2007Q4,
pkgsrc-2007Q3-base,
pkgsrc-2007Q3
Changes since 1.15: +2 -3
lines
Diff to previous 1.15 (colored)
Fix version.
Revision 1.15 / (download) - annotate - [selected], Sat Sep 9 02:43:09 2006 UTC (17 years, 7 months ago) by obache
Branch: MAIN
CVS Tags: pkgsrc-2007Q2-base,
pkgsrc-2007Q2,
pkgsrc-2007Q1-base,
pkgsrc-2007Q1,
pkgsrc-2006Q4-base,
pkgsrc-2006Q4,
pkgsrc-2006Q3-base,
pkgsrc-2006Q3
Changes since 1.14: +2 -2
lines
Diff to previous 1.14 (colored)
Rename variable MAKEFILE to MAKE_FILE.
Revision 1.14 / (download) - annotate - [select for diffs], Tue May 2 12:23:27 2006 UTC (17 years, 11 months ago) by gdt
Branch: MAIN
CVS Tags: pkgsrc-2006Q2-base,
pkgsrc-2006Q2
Changes since 1.13: +2 -1
lines
Diff to previous 1.13 (colored) to selected 1.15 (colored)
Add: LICENSE= generic-nonlicense
Revision 1.13 / (download) - annotate - [select for diffs], Wed Apr 5 06:25:52 2006 UTC (18 years ago) by jlam
Branch: MAIN
Changes since 1.12: +15 -15
lines
Diff to previous 1.12 (colored) to selected 1.15 (colored)
* List info files directly in the PLIST and honor PKGINFODIR. * Centralize directory creation during do-install in INSTALLATION_DIRS. * Don't install *.orig files. * Fix PLIST problems if using xemacs instead of emacs. Bump PKGREVISION to 4 for PLIST changes.
Revision 1.12 / (download) - annotate - [select for diffs], Sun Feb 5 23:09:53 2006 UTC (18 years, 2 months ago) by joerg
Branch: MAIN
CVS Tags: pkgsrc-2006Q1-base,
pkgsrc-2006Q1
Changes since 1.11: +2 -2
lines
Diff to previous 1.11 (colored) to selected 1.15 (colored)
Recursive revision bump / recommended bump for gettext ABI change.
Revision 1.11 / (download) - annotate - [select for diffs], Thu Dec 8 09:52:15 2005 UTC (18 years, 4 months ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2005Q4-base,
pkgsrc-2005Q4
Changes since 1.10: +2 -2
lines
Diff to previous 1.10 (colored) to selected 1.15 (colored)
Bumped the PKGREVISION of the packages that have been broken by the recent "pkglint --autofix" change.
Revision 1.10 / (download) - annotate - [select for diffs], Sun Aug 28 04:25:30 2005 UTC (18 years, 7 months ago) by uebayasi
Branch: MAIN
CVS Tags: pkgsrc-2005Q3-base,
pkgsrc-2005Q3
Changes since 1.9: +2 -2
lines
Diff to previous 1.9 (colored) to selected 1.15 (colored)
Rework emacs.mk: 1) Simplify the way how an emacs version is picked when no emacs is installed, but a user try to install an Emacs Lisp package. Just pick up the version set as EMACS_TYPE than searching for versions already installed etc. If the EMACS_TYPE version is not supported by the Emacs Lisp Package, just fail. EMACS_TYPE be default to GNU Emacs 21. (In other words, users should set EMACS_TYPE as they want. Otherwise GNU Emacs 21 is used.) 2) All Emacs Lisp Packages *must* prepend EMACS_PKGNAME_PREFIX to a) the PKGNAME itself, and b) PKGNAME in its dependency lines. EMACS_PKGNAME_PREFIX is expanded to "xemacs-" when XEmacs is used. This keeps dependency graph of Emacs-Lisp-packages- installed-for-XEmacs consistent. 3) Document EMACS_* variables as much as possible. 4) Provide more cookies for PLIST. Maybe utilized later. Note that the 2) change doesn't affect the default, GNU Emacs 21 behaviour. So no version / revision bumps in this commit.
Revision 1.9 / (download) - annotate - [select for diffs], Thu Jun 16 06:58:01 2005 UTC (18 years, 10 months ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2005Q2-base,
pkgsrc-2005Q2
Changes since 1.8: +3 -1
lines
Diff to previous 1.8 (colored) to selected 1.15 (colored)
Create directories before installing files into them.
Revision 1.8 / (download) - annotate - [select for diffs], Fri Dec 3 15:15:01 2004 UTC (19 years, 4 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2005Q1-base,
pkgsrc-2005Q1,
pkgsrc-2004Q4-base,
pkgsrc-2004Q4
Changes since 1.7: +2 -2
lines
Diff to previous 1.7 (colored) to selected 1.15 (colored)
Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs. Suggested by Roland Illig, ok'd by various.
Revision 1.7 / (download) - annotate - [select for diffs], Tue Jan 20 12:19:18 2004 UTC (20 years, 3 months ago) by agc
Branch: MAIN
CVS Tags: pkgsrc-2004Q3-base,
pkgsrc-2004Q3,
pkgsrc-2004Q2-base,
pkgsrc-2004Q2,
pkgsrc-2004Q1-base,
pkgsrc-2004Q1
Changes since 1.6: +2 -2
lines
Diff to previous 1.6 (colored) to selected 1.15 (colored)
Move WRKSRC definition away from the first paragraph in a Makefile.
Revision 1.6 / (download) - annotate - [select for diffs], Sat Aug 9 10:59:13 2003 UTC (20 years, 8 months ago) by seb
Branch: MAIN
CVS Tags: pkgsrc-2003Q4-base,
pkgsrc-2003Q4
Changes since 1.5: +1 -2
lines
Diff to previous 1.5 (colored) to selected 1.15 (colored)
USE_NEW_TEXINFO is unnecessary now.
Revision 1.5 / (download) - annotate - [select for diffs], Mon Jul 7 23:33:49 2003 UTC (20 years, 9 months ago) by seb
Branch: MAIN
Changes since 1.4: +18 -3
lines
Diff to previous 1.4 (colored) to selected 1.15 (colored)
Install documentation in pkgsrc canonical directories. Add directory entry to twelf.info via patch file. Avoid patch backup files to be installed. Convert to USE_NEW_TEXINFO. Bump PKGREVISION.
Revision 1.4 / (download) - annotate - [select for diffs], Sat Mar 29 12:41:33 2003 UTC (21 years ago) by jmmv
Branch: MAIN
Changes since 1.3: +2 -2
lines
Diff to previous 1.3 (colored) to selected 1.15 (colored)
Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.
Revision 1.3 / (download) - annotate - [select for diffs], Fri Mar 21 22:57:34 2003 UTC (21 years, 1 month ago) by wiz
Branch: MAIN
Changes since 1.2: +2 -22
lines
Diff to previous 1.2 (colored) to selected 1.15 (colored)
Use smlnj's Makefile.common for platform support checks.
Revision 1.2 / (download) - annotate - [select for diffs], Fri Mar 21 22:23:01 2003 UTC (21 years, 1 month ago) by wiz
Branch: MAIN
Changes since 1.1: +3 -3
lines
Diff to previous 1.1 (colored) to selected 1.15 (colored)
sml-nj renamed to smlnj.
Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Wed Jan 22 22:41:23 2003 UTC (21 years, 3 months ago) by kristerw
Branch: TNF
CVS Tags: pkgsrc-base,
netbsd-1-6-1-base,
netbsd-1-6-1
Changes since 1.1: +0 -0
lines
Diff to previous 1.1 (colored) to selected 1.15 (colored)
Initial import of twelf-1.4 as contributed by Christopher Richards in
PR 18497.
From http://www.twelf.org, heavily edited:
Twelf is a research project concerned with the design,
implementation, and application of logical frameworks. It
provides a uniform meta-language for specifying, implementing, and
proving properties of programming languages and logics.
Example suites include Cartesian Closed Categories and
lambda-calculus, the Church-Rosser theorem for the untyped
lambda-calculus, Mini-ML including type preservation and
compilation, cut elimination, theory of logic programming, and
Hilbert's deduction theorem.
The principal authors of Twelf are Frank Pfenning and Carsten
Schuermann, with major contrubtions by Brigitte Pientka, Roberto
Virga, and Kevin Watkins.
Revision 1.1 / (download) - annotate - [select for diffs], Wed Jan 22 22:41:23 2003 UTC (21 years, 3 months ago) by kristerw
Branch: MAIN
Diff to selected 1.15 (colored)
Initial revision