projects
/
dports.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Update textproc/idnits to version 2.14.01
[dports.git]
/
math
/
proofgeneral
/
2016-04-09
DPorts Builder
Tweak math/proofgeneral version 4.1_10
tree
|
commitdiff
2015-09-11
DPorts Builder
Tweak math/proofgeneral version 4.1_10
tree
|
commitdiff
2015-06-05
DPorts Builder
Tweak math/proofgeneral version 4.1_10
tree
|
commitdiff
2015-04-30
DPorts Builder
Update math/proofgeneral to version 4.1_10
tree
|
commitdiff
2014-11-21
DPorts Builder
Tweak math/proofgeneral version 4.1_9
tree
|
commitdiff
2014-11-11
DPorts Builder
Update math/proofgeneral to version 4.1_9
tree
|
commitdiff
2014-09-30
DPorts Builder
Tweak math/proofgeneral version 4.1_8
tree
|
commitdiff
2014-08-04
DPorts Builder
Tweak math/proofgeneral version 4.1_8
tree
|
commitdiff
2014-07-23
DPorts Builder
Update math/proofgeneral to version 4.1_8
tree
|
commitdiff
2014-07-15
DPorts Builder
Tweak math/proofgeneral version 4.1_7
tree
|
commitdiff
2014-05-27
DPorts Builder
Tweak math/proofgeneral version 4.1_7
tree
|
commitdiff
2014-02-12
DPorts Builder
Tweak math/proofgeneral version 4.1_7
tree
|
commitdiff
2014-01-29
DPorts Builder
Tweak math/proofgeneral version 4.1_7
tree
|
commitdiff
2013-10-28
DPorts Builder
Tweak math/proofgeneral version 4.1_7
tree
|
commitdiff
2013-10-16
DPorts Builder
Tweak math/proofgeneral version 4.1_7
tree
|
commitdiff
2013-09-20
DPorts Builder
Tweak math/proofgeneral version 4.1_7
tree
|
commitdiff
2013-04-25
Automaton
Update math/proofgeneral to version 4.1_7
tree
|
commitdiff
2013-04-05
Automaton
Update math/proofgeneral to version 4.1_6
tree
|
commitdiff
2013-01-02
Automaton IAS
Import math/proofgeneral version 4.1_4
tree
|
commitdiff