Menu

Feature Requests  Maximize  Restore

Showing 20 results of 20

# Summary Milestone Status Owner Created Updated
49 Autosave None open 2011-08-05 2012-09-29  
48 Otros comandos None open Sebastián Lacuesta 2011-07-17 2012-09-29  
47 Extracción de programas a OCaml & Haskell None open Sebastián Lacuesta 2011-07-17 2012-09-29  
46 Entorno de pruebas None open Sebastián Lacuesta 2011-07-17 2012-09-29  
43 Proof By Pointing None open Sebastián Lacuesta 2011-07-17 2012-09-29  
42 Símbolos None open Sebastián Lacuesta 2011-07-17 2012-09-29  
41 Tactics wizard None open Sebastián Lacuesta 2011-07-17 2012-09-29  
40 Módulos como paquetes None open Sebastián Lacuesta 2011-07-17 2012-09-29  
39 Ayuda por palabra clave None open Sebastián Lacuesta 2011-07-17 2012-09-29  
37 Proof wizard None open Sebastián Lacuesta 2011-07-17 2012-09-29  
35 Árbol de derivaciones None open Sebastián Lacuesta 2011-07-17 2012-09-29  
34 Compilar buffer y recorrer errores None open Sebastián Lacuesta 2011-07-17 2012-09-29  
33 Chequeo sintáctico de errores en código None open Sebastián Lacuesta 2011-07-17 2012-09-29  
32 Detección de Dependencias None open Sebastián Lacuesta 2011-07-17 2012-09-29  
31 Definiciones a demanda None open Sebastián Lacuesta 2011-07-17 2012-09-29  
21 Exportación básica None open Sebastián Lacuesta 2011-07-17 2012-09-29  
20 Indentación None open Sebastián Lacuesta 2011-07-17 2012-09-29  
15 Configuración None open Sebastián Lacuesta 2011-07-17 2012-09-29  
13 Teclas Rápidas None open Sebastián Lacuesta 2011-07-17 2012-09-29  
3 Ejecución paso a paso None open Sebastián Lacuesta 2011-07-17 2012-09-29  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)