]> matita.cs.unibo.it Git - helm.git/history - matita/components/content_pres
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
documentation update
[helm.git] / matita / components / content_pres /
2015-09-05 Ferruccio Guidi- New attribute `Implied put beside `Generated and... tree | commitdiff
2015-01-30 Ferruccio Guidinotation ast updated to comply with the toplevel let... tree | commitdiff
2014-12-01 Ferruccio Guididependences update tree | commitdiff
2013-04-09 Wilmer RicciottiFixes a bug that caused an assertion failure when no... tree | commitdiff
2012-03-06 Claudio Sacerdoti... Forward compatibility with new releases of Camlp5. tree | commitdiff
2012-01-12 Wilmer RicciottiImproves the presentation of hypotheses in the goal... tree | commitdiff
2012-01-10 Ferruccio Guidiunpatched version for the new CamplP5 tree | commitdiff
2012-01-10 Ferruccio Guidipatched version for old CamlP5 tree | commitdiff
2012-01-07 Ferruccio Guidilambda_delta: global environments handling: redefined... tree | commitdiff
2011-12-12 Claudio Sacerdoti... Re-Ported to tree | commitdiff
2011-12-06 Wilmer RicciottiGrammar change: let corecs can take no arguments (and... tree | commitdiff
2011-11-24 Ferruccio Guidi- now destruct tries to clear the replaced variables... tree | commitdiff
2011-11-18 Claudio Sacerdoti... * Almost ready for release 0.99.1. tree | commitdiff
2011-05-30 Claudio Sacerdoti... Better indentation. tree | commitdiff
2011-05-30 Claudio Sacerdoti... Debugging code to understand cases where the output... tree | commitdiff
2011-03-18 Claudio Sacerdoti... Ported to tree | commitdiff
2011-01-27 Claudio Sacerdoti... Hyperlinks are now computed correctly. I least I hope... tree | commitdiff
2011-01-11 Claudio Sacerdoti... HUGE COMMIT: tree | commitdiff
2010-12-10 Claudio Sacerdoti... Debugging code removed. tree | commitdiff
2010-12-10 Claudio Sacerdoti... Dead code removed. tree | commitdiff
2010-12-03 Andrea AspertiIt is now possible to pass a ${ident x} to another... tree | commitdiff
2010-11-05 Andrea Asperti- refreshing of uris in NotationPt.terms implemented tree | commitdiff
2010-11-05 Andrea Asperti- lexicon merged into ng_disambiguation tree | commitdiff
2010-11-04 Claudio Sacerdoti... - disk dumping of ex-lexicon commands almost implemented tree | commitdiff
2010-11-04 Claudio Sacerdoti... Minor code clean-up to simplify module dependencies. tree | commitdiff
2010-11-04 Claudio Sacerdoti... - content/interpretations.ml and ng_cic_content/nTermCi... tree | commitdiff
2010-11-03 Enrico Tassinotation kind of works tree | commitdiff
2010-11-02 Enrico Tassibig change in parsing, trying to make all functional tree | commitdiff
2010-10-29 Claudio Sacerdoti... More parts of the lexicon status made functional. tree | commitdiff
2010-10-29 Andrea Asperti- grammar of // changed to move the justification inside; tree | commitdiff
2010-10-26 Andrea Aspertiurimanager removed tree | commitdiff
2010-10-26 Andrea Asperticic module removed (RIP) tree | commitdiff
2010-10-08 Andrea Asperti- cic almost not used tree | commitdiff
2010-10-08 Andrea AsperticicNotation* ==> notation* tree | commitdiff
2010-10-07 Andrea Asperti- cic_exportation, cic_acic, acic_content (only parts... tree | commitdiff
2010-10-05 Andrea Asperti£- use ----------- in place of ## for sequents tree | commitdiff
2010-09-30 Claudio Sacerdoti... Stuff moved from old Matita. tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.