CVS log for pkgsrc/lang/ats2/Makefile

Up to [cvs.NetBSD.org] / pkgsrc / lang / ats2

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.4 / (download) - annotate - [select for diffs], Mon Jan 16 04:38:04 2023 UTC (8 months, 1 week ago) by dholland
Branch: MAIN
CVS Tags: pkgsrc-2023Q2-base, pkgsrc-2023Q2, pkgsrc-2023Q1-base, pkgsrc-2023Q1, HEAD
Changes since 1.3: +3 -3 lines
Diff to previous 1.3 (colored)

lang/ats2: USE_TOOLS+=find, install fails using solaris's

Revision 1.3 / (download) - annotate - [select for diffs], Sat May 14 22:25:38 2022 UTC (16 months, 1 week ago) by dholland
Branch: MAIN
CVS Tags: pkgsrc-2022Q4-base, pkgsrc-2022Q4, pkgsrc-2022Q3-base, pkgsrc-2022Q3, pkgsrc-2022Q2-base, pkgsrc-2022Q2
Changes since 1.2: +2 -1 lines
Diff to previous 1.2 (colored)

Bump all elisp packages for the CONFLICTS change.

Revision 1.2 / (download) - annotate - [select for diffs], Thu Apr 14 20:13:19 2022 UTC (17 months, 1 week ago) by nikita
Branch: MAIN
Changes since 1.1: +14 -1 lines
Diff to previous 1.1 (colored)

ats2: Build emacs mode.

Revision 1.1 / (download) - annotate - [select for diffs], Thu Apr 14 17:29:10 2022 UTC (17 months, 1 week ago) by nikita
Branch: MAIN

lang/ats2: Add version 0.4.2

Import from wip/ats2 by Atsushi Toyokura, Mateusz Poszwa.

ATS is a statically typed programming language that unifies
implementation with formal specification. It is equipped with
a highly expressive type system rooted in the framework Applied
Type System, which gives the language its name. In particular,
both dependent types and linear types are available in ATS.

In addition, ATS contains a subsystem ATS/LF that supports a form
of (interactive) theorem-proving, where proofs are constructed as
total functions. With this subsystem, ATS is able to advocate a
programmer-centric approach to program verification that combines
programming with theorem-proving in a syntactically intertwined
manner. Furthermore, ATS/LF can also serve as a logical framework
(LF) for encoding various formal systems (such as logic systems
and type systems) together with proofs of their (meta-)properties.

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.