Group V0.8.2  Maximize  Restore

Open
N/A
25 / 27

V0.8.2

Showing results of 27

# Summary Milestone Status
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Status
Owner
  • Sort A -> Z
  • Sort Z -> A
  • Filter by Owner
Created Updated
272 Predicate Provers (newPP, P0) unable to discharge simple PO V0.8.2 closed Laurent Voisin 2009-02-28 2010-02-11  
271 Post-Tactic is invoked after saving V0.8.2 closed-fixed Laurent Voisin 2009-02-28 2009-10-13  
260 brama - unexpected error V0.8.2 open Thierry Lecomte 2009-02-12 2009-02-16  
240 "1 : 2..4" accepted ! V0.8.2 closed Laurent Voisin 2008-12-02 2008-12-03  
239 Unable to apply equality from left to right V0.8.2 closed-fixed Laurent Voisin 2008-12-01 2011-01-27  
236 "Inherited" overwrites "convergent". V0.8.2 closed-out-of-date Laurent Voisin 2008-11-24 2008-11-25  
234 impossible to install animB plug in V0.8.2 closed cmetayer 2008-11-15 2009-03-11  
233 anormal,error message on animation V0.8.2 open Thierry Lecomte 2008-11-06 2008-11-19  
228 copying from synthesis view - variables cannot be copied V0.8.2 closed-duplicate Laurent Voisin 2008-10-23 2008-11-12  
227 copying from synthesis view - variables cannot be copied V0.8.2 closed Laurent Voisin 2008-10-23 2008-11-27  
222 partial display of searched hypothesis V0.8.2 closed-fixed Thai Son Hoang 2008-09-18 2008-10-17  
221 too difficult to work with explicit set expressions V0.8.2 closed-fixed Yoann Guyot 2008-09-11 2011-12-09  
220 Model error not seen when building project V0.8.2 closed-rejected Laurent Voisin 2008-09-10 2008-09-10  
219 Unexpected disparition of "xx.bps" file in a project V0.8.2 closed Laurent Voisin 2008-09-10 2008-09-25  
216 input file write-protection a problem to Rodin V0.8.2 closed-out-of-date Laurent Voisin 2008-08-29 2010-10-24  
215 Platform crashes because of edit page expansions V0.8.2 closed-duplicate Laurent Voisin 2008-08-28 2008-08-29  
214 Missing horizontal scrollbar in hypothesis window V0.8.2 closed-fixed Aurélien GILLES 2008-08-15 2009-01-09  
213 False invariant not caught b provers V0.8.2 closed-rejected Laurent Voisin 2008-08-09 2008-08-29  
212 Rename problem V0.8.2 closed-fixed Thomas Muller 2008-07-29 2010-01-29  
210 NullPointerException if name of context contains "_" V0.8.2 closed Thai Son Hoang 2008-07-23 2008-07-25  
201 NAT in the proof command V0.8.2 closed-duplicate Thai Son Hoang 2008-05-17 2008-05-26  
200 NAT in the proof command V0.8.2 closed-fixed Laurent Voisin 2008-05-17 2008-05-26  
197 importing existing projects V0.8.2 closed-later Thai Son Hoang 2008-04-21 2010-02-11  
192 Wrong PO generated V0.8.2 closed-fixed Laurent Voisin 2008-03-20 2008-03-27  
191 False theorem proved by newPP V0.8.2 closed-fixed Laurent Voisin 2008-03-20 2008-03-26  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)
1 2 > >> (Page 1 of 2)