]>
2005-10-27 | Stefano Zacchiroli | typing errors | tree | commitdiff |
2005-10-26 | Stefano Zacchiroli | added constraing on non-empty context for tactic applic... | tree | commitdiff |
2005-10-25 | Stefano Zacchiroli | fixed some type error | tree | commitdiff |
2005-10-24 | Stefano Zacchiroli | new semantics, should be the basis for the (re-)impleme... | tree | commitdiff |
2005-10-06 | Stefano Zacchiroli | first check in of continuationals implementation | tree | commitdiff |
2005-10-03 | Stefano Zacchiroli | restated ... | tree | commitdiff |
2005-09-30 | Stefano Zacchiroli | - fixed some metasenv issues | tree | commitdiff |
2005-09-30 | Stefano Zacchiroli | fixed some (more) typos | tree | commitdiff |
2005-09-30 | Stefano Zacchiroli | fixed some typos | tree | commitdiff |
2005-09-30 | Stefano Zacchiroli | continuationals semantics: first draft | tree | commitdiff |