index
:
freebsd-ports-gnome
cinnamon
cinnamon-2.8
dependabot/npm_and_yarn/devel/electron4/files/bl-1.2.3
dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.3
dependabot/npm_and_yarn/devel/electron4/files/elliptic-6.5.4
dependabot/npm_and_yarn/devel/electron4/files/ini-1.3.7
dependabot/npm_and_yarn/devel/electron4/files/lodash-4.17.19
dependabot/npm_and_yarn/devel/electron4/files/lodash.merge-4.6.2
dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.2
dependabot/npm_and_yarn/devel/electron4/files/minimist-1.2.3
dependabot/npm_and_yarn/devel/electron4/files/node-fetch-2.6.1
dependabot/npm_and_yarn/devel/electron4/files/serve-10.1.2
dependabot/npm_and_yarn/devel/electron4/files/y18n-3.2.2
dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.3
dependabot/npm_and_yarn/devel/electron6/files/elliptic-6.5.4
dependabot/npm_and_yarn/devel/electron6/files/ini-1.3.8
dependabot/npm_and_yarn/devel/electron6/files/lodash-4.17.19
dependabot/npm_and_yarn/devel/electron6/files/lodash.merge-4.6.2
dependabot/npm_and_yarn/devel/electron6/files/node-fetch-2.6.1
dependabot/npm_and_yarn/devel/electron6/files/serve-10.1.2
gnome-3.22
gnome-3.24
gnome-3.26
gnome-3.28
gnome-3.32
gnome-3.36
gstreamer
gstreamer-1.16
gstreamer0.10-removal
main
master
mate-1.16
mate-1.18
mate-1.20
mate-1.22
FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
math
/
isabelle
Commit message (
Expand
)
Author
Age
Files
Lines
*
Add NO_STAGE all over the place in preparation for the staging support (cat: ...
bapt
2013-09-21
1
-0
/
+1
*
Convert to new perl framework
bapt
2013-09-17
1
-5
/
+5
*
Push the DOCS test into the right section
bapt
2013-06-05
1
-4
/
+5
*
Convert to new options framework
bapt
2013-06-05
1
-29
/
+30
*
Update to 2009.2
makc
2010-10-31
10
-2516
/
+3232
*
- Mark BROKEN: bad plist
pav
2010-10-28
1
-0
/
+2
*
- update to 1.4.1
dinoex
2010-03-28
1
-1
/
+1
*
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
miwi
2010-02-26
1
-1
/
+1
*
- update to jpeg-8
dinoex
2010-02-05
1
-0
/
+1
*
- Update to 2009
miwi
2009-10-30
10
-673
/
+1644
*
[MAINTAINER] math/isabelle: update from 2007 to 2008
edwin
2008-08-15
52
-1653
/
+320
*
Bump portrevision due to upgrade of devel/gettext.
edwin
2008-06-06
1
-0
/
+1
*
- Update to 2007
rafan
2008-04-04
33
-1106
/
+1645
*
Move the USE_PERL definitions, and others, before pre.mk inclusion. This
linimon
2007-09-30
1
-5
/
+5
*
Update port: math/isabelle
edwin
2007-09-10
43
-14
/
+1103
*
- Welcome X.org 7.2 \o/.
flz
2007-05-20
1
-0
/
+1
*
- Fix crash with lang/polyml.
miwi
2007-03-22
9
-74
/
+134
*
math/isabelle does not build on pointyhat, because the build process
rafan
2006-08-10
1
-0
/
+1
*
Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIX
shaun
2006-06-23
1
-2
/
+0
*
add SHA256 checksum
edwin
2006-06-07
1
-0
/
+3
*
- Update to 2005
sem
2006-05-02
8
-3263
/
+3324
*
Add isabelle 2004, a generic proof assistant.
barner
2005-09-01
9
-0
/
+4176