Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Search support-requests: status:wont-fix or status:closed-works-for-me or status:closed Maximize Restore

Showing 21 results of 21

# Summary Milestone Status Owner Created Updated
26 how to : build a project without proving None closed Laurent Voisin 2012-05-19 2012-05-21  
25 witness - How to ? None closed Laurent Voisin 2012-05-09 2012-05-10  
24 j5IfDV Thank you ever so for you article.Really looking forw v1.0_(example) closed 2012-03-09 2013-05-30  
20 Include sources in Rodin None closed Nicolas Beauger 2010-03-25 2010-05-04  
18 reasonning with < and <= None closed Nicolas Beauger 2009-08-03 2009-09-04  
17 interaction with the prover None closed-works-for-me Laurent Voisin 2009-07-14 2009-07-14  
16 Atelier-B provers not installable None closed Laurent Voisin 2009-06-08 2009-06-08  
15 Provers disappeard from Perspective. None closed 2009-04-24 2009-09-14  
14 b2latex :undefined control sequence None closed 2009-02-16 2009-02-23  
13 problem to access plugin update sites v1.0_(example) closed 2009-02-07 2009-09-14  
12 No access to the b4free prover update site None closed Laurent Voisin 2008-09-03 2008-09-19  
11 import failure None closed Laurent Voisin 2008-07-04 2008-08-29  
10 No "New Refine Event" action None closed Laurent Voisin 2008-06-13 2008-06-13  
8 Remove membership for POW1 None closed Thai Son Hoang 2008-01-08 2008-01-09  
7 Recursively expand an event with one-click None closed Thai Son Hoang 2008-01-08 2008-01-10  
6 Some trivial results should be auto proven None closed Laurent Voisin 2007-11-09 2007-11-20  
5 Which CVS modules make the core platform? None closed Laurent Voisin 2007-04-23 2007-04-23  
4 QuickFix of the INITIALISATION None closed Thai Son Hoang 2006-11-09 2007-12-16  
3 PP, ML for the Mac None closed 2006-07-11 2006-10-19  
2 Rodin project example for getting started. None closed 2006-07-08 2006-08-10  
1 Welcome msg not appearing and prob. in open. perspectives None closed 2006-05-18 2006-06-22  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)