| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2011-12-13 | ProofGeneral 4.1 | Karn Kallio | 2 | -52/+11 |
| 2011-05-14 | ProofGeneral 4.0 | Marco Maggesi | 2 | -14/+56 |
| 2010-06-06 | Proof General: Build and install via the makefile. | Ludovic Courtès | 1 | -13/+17 |
| 2009-12-11 | Add expression for ProofGeneral | Marco Maggesi | 1 | -0/+42 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |