]> matita.cs.unibo.it Git - helm.git/history - matitaB/matita/matitadaemon.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / matitaB / matita / matitadaemon.ml
2012-07-08 matitawebbug fixes commit | commitdiff
2012-07-06 Wilmer RicciottiBug fixing + cosmetic changes commit | commitdiff
2012-07-03 Wilmer RicciottiMatitaweb: opening a file resets the status. commit | commitdiff
2012-06-21 Wilmer RicciottiHyperlink support. commit | commitdiff
2012-03-27 Wilmer RicciottiMatitaweb: commit | commitdiff
2012-03-12 matitawebMatitaweb: commit | commitdiff
2011-12-12 Wilmer RicciottiMatitaweb: changes to matitadaemon.ml to make it work... commit | commitdiff
2011-12-06 Wilmer RicciottiMatitaweb: commit | commitdiff
2011-11-15 matitawebFixes a bug in NnAuto: printing the statistics triggere... commit | commitdiff
2011-11-15 matitawebMatitaweb: Fixed typo which caused the compilation... commit | commitdiff
2011-11-15 Wilmer RicciottiMatitaweb: goto bottom can now be undone step by step... commit | commitdiff
2011-11-09 matitawebMatitaweb: fixes compilation errors and minor graphical... commit | commitdiff
2011-11-09 Wilmer RicciottiMatitaweb: commit | commitdiff
2011-10-27 Wilmer RicciottiMatitaweb: Fixed a bug in matitaweb.js concerning disam... commit | commitdiff
2011-10-24 Wilmer RicciottiMatitaweb: first attempt at web UI for disambiguation. commit | commitdiff
2011-10-20 Wilmer RicciottiMatitaweb: added preliminary support for interactive... commit | commitdiff
2011-10-18 matitawebLocalization of errors. commit | commitdiff
2011-10-07 matitawebMatitaweb: fixed bugs in commit. commit | commitdiff
2011-10-06 Wilmer RicciottiMatitaweb: more changes to commit (now almost usable). commit | commitdiff
2011-10-05 matitawebMatitaweb: several improvements to svn interface. commit | commitdiff
2011-10-03 Wilmer RicciottiMatitaweb: implementation of file-flagging for keeping... commit | commitdiff
2011-09-30 matitawebMatitaweb: commit | commitdiff
2011-09-22 Wilmer RicciottiMatitaweb: Fixed a bug which caused matita to forget... commit | commitdiff
2011-09-21 matitaweb1) removed many debug prints commit | commitdiff
2011-09-20 Wilmer RicciottiMatitaweb: disabled many verbose debug prints. commit | commitdiff
2011-09-08 Wilmer RicciottiMatitaweb: first attempt at "Save as". commit | commitdiff
2011-09-07 matitawebChanged behavior in matitaweb.js, function retrieveFile... commit | commitdiff
2011-09-07 Wilmer RicciottiChanged redirect behaviour of the daemon (incompatibili... commit | commitdiff
2011-09-06 Wilmer RicciottiFirst attempt at svn commit of developments. commit | commitdiff
2011-07-20 Wilmer RicciottiMatitaweb: fixed a bug concerning matita/html/xml escap... commit | commitdiff
2011-07-20 Wilmer Ricciotti1) Matitaweb now disambiguates scripts as it runs them commit | commitdiff
2011-06-23 Wilmer RicciottiAdded facility for resetting the library. commit | commitdiff
2011-06-23 Wilmer RicciottiAdded matitaweb administration panel. commit | commitdiff
2011-06-22 Wilmer RicciottiOpening scripts using the Library dialog (try 1). commit | commitdiff
2011-06-22 Wilmer RicciottiShow library test 1. commit | commitdiff
2011-06-22 Wilmer RicciottiMatitaweb viewlib, part II. commit | commitdiff
2011-06-22 Wilmer RicciottiAdded viewlib to matitaweb. commit | commitdiff
2011-06-21 Wilmer RicciottiAdded generation of HTML representation of the library. commit | commitdiff
2011-06-16 Wilmer RicciottiAdded module MatitaFilesystem, to be used for the manag... commit | commitdiff
2011-06-15 Wilmer Ricciotti(Almost) working multi-user matitaweb. commit | commitdiff
2011-06-15 Wilmer RicciottiLogout (partial work) (multi-user matita) commit | commitdiff
2011-06-15 Wilmer RicciottiMulti-user Matita (and Matitaweb): added user authentic... commit | commitdiff
2011-06-10 Wilmer RicciottiMulti-user matita: changed the status object to include... commit | commitdiff
2011-06-08 Wilmer RicciottiFixed a bug in the retract command of Matitaweb. commit | commitdiff
2011-06-08 Wilmer RicciottiRemoved dependency of Matitaweb from GTK libraries. commit | commitdiff
2011-06-07 Wilmer RicciottiRemoved hardcoded include paths from matitadaemon. commit | commitdiff
2011-06-07 Wilmer RicciottiMatitaweb daemon ported from Ocaml Http to Ocamlnet... commit | commitdiff
2011-06-06 Wilmer RicciottiThis update uses XML for client-server communication... commit | commitdiff
2011-06-01 Wilmer RicciottiMatita Web: moved the javascript in a separate file... commit | commitdiff
2011-05-31 Wilmer RicciottiPartial implementation of "go to cursor" action. commit | commitdiff
2011-05-30 Wilmer RicciottiPartially working table layout of matita web (only... commit | commitdiff
2011-05-26 Wilmer RicciottiImproved rendering of sequents in matitaweb, including... commit | commitdiff
2011-05-26 Wilmer RicciottiPreliminary version of matitaweb handling multiple... commit | commitdiff
2011-05-24 Wilmer Ricciottimatitaweb: added retract (undo) commit | commitdiff
2011-05-23 Wilmer RicciottiAdded support for hyperlinks in the goal view of the... commit | commitdiff
2011-05-19 Wilmer RicciottiAdded matitadaemon. commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.