index
:
freebsd/ports.git
2014Q1
2014Q2
2014Q3
2014Q4
2015Q1
2015Q2
2015Q3
2015Q4
2016Q1
2016Q2
2016Q3
2016Q4
2017Q1
2017Q2
2017Q3
2017Q4
2018Q1
2018Q2
2018Q3
2018Q4
2019Q1
2019Q2
2019Q3
2019Q4
2020Q1
2020Q2
2020Q3
2020Q4
2021Q1
2021Q2
2021Q3
2021Q4
2022Q1
2022Q2
2022Q3
2022Q4
2023Q1
2023Q2
2023Q3
2023Q4
2024Q1
2024Q2
2024Q3
main
Unnamed repository; edit this file 'description' to name the repository.
git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
math
/
proofgeneral
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
* Remove the direct inclusion of bsd.emacs.mk
Andrey Slusar
2007-02-06
4
-443
/
+533
*
Deprecate and expire on 2007-02-07 to give the maintainer more incentive
Kris Kennaway
2006-12-09
1
-0
/
+2
*
BROKEN: incomplete pkg-plist
Kris Kennaway
2006-11-30
1
-0
/
+2
*
Fix plist and unbroken port.
Andrey Slusar
2006-11-11
3
-4
/
+3
*
BROKEN: Incorrect pkg-plist
Kris Kennaway
2006-10-15
1
-0
/
+2
*
Remove zero-sized files.
Erwin Lansing
2006-07-10
2
-0
/
+0
*
- Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhat
Sergey Matveychuk
2006-05-16
1
-0
/
+1
*
Remove USE_REINPLACE from ports starting with M
Edwin Groothuis
2006-05-10
1
-1
/
+0
*
- Add USE_EMACS=yes. It should present in all emacsen ports.
Sergey Matveychuk
2006-05-06
1
-0
/
+1
*
- Update to 3.6
Sergey Matveychuk
2006-05-01
9
-108
/
+126
*
SHA256ify
Edwin Groothuis
2006-01-22
1
-0
/
+1
*
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
Edwin Groothuis
2006-01-22
1
-1
/
+1
*
BROKEN on amd64: Does not build
Kris Kennaway
2005-10-28
1
-0
/
+4
*
Fix plist.
Simon Barner
2005-09-15
1
-0
/
+3
*
Fix build:
Simon Barner
2005-09-15
2
-7
/
+35
*
Add proofgeneral 3.5, a generic interface for proof assistants.
Simon Barner
2005-08-31
10
-0
/
+715