| 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
|
|