Age | Commit message (Expand) | Author |
---|---|---|
2009-05-25 | PLT: New help functionality: | Jose Antonio Ortega Ruiz |
2009-05-24 | Small nit. | Jose Antonio Ortega Ruiz |
2009-05-16 | PLT: A bit more sensible prompt format. | Jose Antonio Ortega Ruiz |
2009-05-15 | PLT: Bug fix: correctly handle explicit module definitions. | Jose Antonio Ortega Ruiz |
2009-05-08 | Module completion generalized and implemented for PLT. | Jose Antonio Ortega Ruiz |
2009-05-06 | Small refactoring. | Jose Antonio Ortega Ruiz |
2009-05-06 | PLT: M-. is also able to locate modules. Refactorings. | Jose Antonio Ortega Ruiz |