proofgeneral
generic frontend for proof assistants

news RSS

• [2023-08-22] proofgeneral 4.5-1 MIGRATED to testing (Britney)
• [2023-08-17] Accepted 4.5-1 in unstable (medium) (Debian FTP Masters)
• [2023-08-12] proofgeneral REMOVED from testing (Britney)
• [2019-12-24] proofgeneral 4.4.1~pre170114-1.2 MIGRATED to testing (Britney)
• [2019-12-19] Accepted 4.4.1~pre170114-1.2 in unstable (medium) (Gard Spreemann)
• [2019-11-16] proofgeneral REMOVED from testing (Britney)
• [2019-07-30] proofgeneral 4.4.1~pre170114-1.1 MIGRATED to testing (Britney)
• [2019-07-25] Accepted 4.4.1~pre170114-1.1 in unstable (medium) (Gianfranco Costamagna)
• [2017-12-15] proofgeneral REMOVED from testing (Britney)
• [2017-01-27] proofgeneral 4.4.1~pre170114-1 MIGRATED to testing (Britney)
• [2017-01-16] Accepted 4.4.1~pre170114-1 in unstable (medium) (Hendrik Tews)
• [2017-01-11] proofgeneral 4.4.1~pre161230-0.1 MIGRATED to testing (Britney)
• [2016-12-31] Accepted 4.4.1~pre161230-0.1 in unstable (medium) (Richard B. Kreckel)
• [2014-11-22] proofgeneral 4.3~pre131011-0.2 MIGRATED to testing (Britney)
• [2014-11-16] Accepted 4.3~pre131011-0.2 in unstable (medium) (intrigeri)
• [2014-10-26] proofgeneral 4.3~pre131011-0.1 MIGRATED to testing (Britney)
• [2014-09-12] proofgeneral REMOVED from testing (Britney)
• [2014-09-02] proofgeneral 4.3~pre131011-0.1 MIGRATED to testing (Britney)
• [2014-08-22] Accepted 4.3~pre131011-0.1 in unstable (low) (Hideki Yamane)
• [2014-03-03] proofgeneral 4.3~pre130510-1.1 MIGRATED to testing (Britney)
• [2014-02-25] Accepted 4.3~pre130510-1.1 in unstable (medium) (Hideki Yamane)
• [2013-05-29] proofgeneral 4.3~pre130510-1 MIGRATED to testing (Britney)
• [2013-05-18] Accepted 4.3~pre130510-1 in unstable (low) (Hendrik Tews)
• [2012-12-17] proofgeneral 4.2~pre120605-2 MIGRATED to testing (Britney)
• [2012-12-06] Accepted 4.2~pre120605-2 in unstable (low) (Hendrik Tews)
• [2012-06-20] proofgeneral 4.2~pre120605-1 MIGRATED to testing (Britney)
• [2012-06-09] Accepted 4.2~pre120605-1 in unstable (low) (Hendrik Tews)
• [2012-05-07] proofgeneral 4.2~pre120411-2 MIGRATED to testing (Britney)
• [2012-04-26] Accepted 4.2~pre120411-2 in unstable (low) (Hendrik Tews)
• [2012-04-22] Accepted 4.2~pre120411-1 in unstable (low) (Hendrik Tews)