matita.cs.unibo.it Git - helm.git/history

]> matita.cs.unibo.it Git - helm.git/history - matitaB

2021-02-27	Ferruccio Guidi	removing old contribs	tree \| commitdiff
2015-01-22	Ferruccio Guidi	refactoring of \lambda\delta version 1 in matita	tree \| commitdiff
2012-07-08	matitaweb	bug fixes	tree \| commitdiff
2012-07-06	Wilmer Ricciotti	added tick.png	tree \| commitdiff
2012-07-06	Wilmer Ricciotti	Added NotationPt.name_of_obj.	tree \| commitdiff
2012-07-06	Wilmer Ricciotti	Cosmetic changes.	tree \| commitdiff
2012-07-06	Wilmer Ricciotti	Bug fixing + cosmetic changes	tree \| commitdiff
2012-07-03	Wilmer Ricciotti	Matitaweb: several improvements in the UI.	tree \| commitdiff
2012-07-03	Wilmer Ricciotti	Matitaweb: opening a file resets the status.	tree \| commitdiff
2012-06-21	Wilmer Ricciotti	Hyperlink support.	tree \| commitdiff
2012-03-27	Wilmer Ricciotti	Matitaweb:	tree \| commitdiff
2012-03-23	Wilmer Ricciotti	Matitaweb: Fixes a bug in the extensible parser which...	tree \| commitdiff
2012-03-23	Wilmer Ricciotti	Matitaweb: Fixes a bug which prevented Mozilla from...	tree \| commitdiff
2012-03-20	matitaweb	Matitaweb:	tree \| commitdiff
2012-03-12	matitaweb	(no commit message)	tree \| commitdiff
2012-03-12	matitaweb	Matitaweb:	tree \| commitdiff
2012-02-23	Wilmer Ricciotti	refiner porting from matita 1.	tree \| commitdiff
2011-12-14	Wilmer Ricciotti	Matitaweb: large commit porting to the new Matita 0...	tree \| commitdiff
2011-12-13	Wilmer Ricciotti	Matitaweb: clicking buttons disables the GUI to prevent...	tree \| commitdiff
2011-12-12	Wilmer Ricciotti	Matitaweb: changes to matitadaemon.ml to make it work...	tree \| commitdiff
2011-12-12	Wilmer Ricciotti	Matitaweb: added utility for conversion of user dbs...	tree \| commitdiff
2011-12-12	Wilmer Ricciotti	Matitaweb: secure SHA-256 encryption for passwords.	tree \| commitdiff
2011-12-06	Wilmer Ricciotti	Matitaweb:	tree \| commitdiff
2011-11-24	Enrico Tassi	fixed DESTDIR	tree \| commitdiff
2011-11-21	Andrea Asperti	Filtering all equations that cannot be embedded (contai...	tree \| commitdiff
2011-11-21	Andrea Asperti	Passing the correct subst a metasenv when idexing local...	tree \| commitdiff
2011-11-21	Andrea Asperti	Typo in comment	tree \| commitdiff
2011-11-17	Enrico Tassi	collapse applications with a Match as head while indexing	tree \| commitdiff
2011-11-15	matitaweb	Fixes a bug in NnAuto: printing the statistics triggere...	tree \| commitdiff
2011-11-15	matitaweb	Matitaweb: Fixed typo which caused the compilation...	tree \| commitdiff
2011-11-15	Wilmer Ricciotti	Matitaweb: goto bottom can now be undone step by step...	tree \| commitdiff
2011-11-15	Andrea Asperti	non-facts local candidates must be applied too in prese...	tree \| commitdiff
2011-11-14	Andrea Asperti	Assert false is no longer true due to tooflex filtering.	tree \| commitdiff
2011-11-14	Andrea Asperti	Too flexible terms are pruned.	tree \| commitdiff
2011-11-09	matitaweb	Matitaweb: fixes compilation errors and minor graphical...	tree \| commitdiff
2011-11-09	Wilmer Ricciotti	Matitaweb:	tree \| commitdiff
2011-11-07	Andrea Asperti	Removed some dead code.	tree \| commitdiff
2011-11-07	Andrea Asperti	New management of justifications.	tree \| commitdiff
2011-11-03	Andrea Asperti	1. we compare the expected branching with the actual...	tree \| commitdiff
2011-11-02	Wilmer Ricciotti	Matitaweb: Added jquery.js (also used in some of the...	tree \| commitdiff
2011-11-02	Wilmer Ricciotti	Matitaweb:	tree \| commitdiff
2011-10-28	Wilmer Ricciotti	Matitaweb: added layout.js (currently manages resizing...	tree \| commitdiff
2011-10-28	Andrea Asperti	New management of resulting subst in deep_eq: used...	tree \| commitdiff
2011-10-28	Andrea Asperti	-applicative_case has been rewritten and simplified;	tree \| commitdiff
2011-10-27	Wilmer Ricciotti	Matitaweb: Fixed a bug in matitaweb.js concerning disam...	tree \| commitdiff
2011-10-24	Wilmer Ricciotti	Matitaweb: first attempt at web UI for disambiguation.	tree \| commitdiff
2011-10-20	Andrea Asperti	1. ported to camlp5	tree \| commitdiff
2011-10-20	Andrea Asperti	typos	tree \| commitdiff
2011-10-20	Andrea Asperti	We order alternatives according to the number of subgoa...	tree \| commitdiff
2011-10-20	Wilmer Ricciotti	Matitaweb: added preliminary support for interactive...	tree \| commitdiff
2011-10-19	matitaweb	Matitaweb: added a function MatitaAuthentication.get_us...	tree \| commitdiff
2011-10-18	matitaweb	Localization of errors.	tree \| commitdiff
2011-10-17	Enrico Tassi	compact coercion command: "coercion foo."	tree \| commitdiff
2011-10-12	Wilmer Ricciotti	Matitaweb: Fixed netplex.conf (which was changed by...	tree \| commitdiff
2011-10-12	Wilmer Ricciotti	Matitaweb: svn now skips empty commits.	tree \| commitdiff
2011-10-12	Wilmer Ricciotti	Matitaweb: svn now skips empty add.	tree \| commitdiff
2011-10-11	Wilmer Ricciotti	Matitaweb: Fixed long-time bug with dependencies and...	tree \| commitdiff
2011-10-10	Andrea Asperti	Ported changes amde on the main branch:	tree \| commitdiff
2011-10-07	matitaweb	Matitaweb: fixed bugs in commit.	tree \| commitdiff
2011-10-06	Wilmer Ricciotti	Matitaweb: added a titlebar to the GUI.	tree \| commitdiff
2011-10-06	Wilmer Ricciotti	Matitaweb: more changes to commit (now almost usable).	tree \| commitdiff
2011-10-05	matitaweb	Matitaweb: several improvements to svn interface.	tree \| commitdiff
2011-10-03	Wilmer Ricciotti	Matitaweb: implementation of file-flagging for keeping...	tree \| commitdiff
2011-09-30	Wilmer Ricciotti	Matitaweb: Some bugfixes concerning file flags.	tree \| commitdiff
2011-09-30	matitaweb	Matitaweb:	tree \| commitdiff
2011-09-22	Wilmer Ricciotti	Matitaweb: Fixed a bug which caused matita to forget...	tree \| commitdiff
2011-09-21	Andrea Asperti	Map in NCicUtils now takes an optional boolea to disabl...	tree \| commitdiff
2011-09-21	matitaweb	1) removed many debug prints	tree \| commitdiff
2011-09-20	Wilmer Ricciotti	Matitaweb: disabled many verbose debug prints.	tree \| commitdiff
2011-09-20	Andrea Asperti	The Blob is not abstracted on the context any more.	tree \| commitdiff
2011-09-17	Wilmer Ricciotti	Fixes a bug (introduced in the previous revision) which...	tree \| commitdiff
2011-09-16	Wilmer Ricciotti	This commit patches the environment and the library...	tree \| commitdiff
2011-09-16	matitaweb	File uploading	tree \| commitdiff
2011-09-12	Wilmer Ricciotti	Added debug print in NCicLibrary.serialize.	tree \| commitdiff
2011-09-09	Wilmer Ricciotti	Matitaweb: layout change in the matitaweb inteface...	tree \| commitdiff
2011-09-08	matitaweb	Matitaweb: fixed "new file".	tree \| commitdiff
2011-09-08	Wilmer Ricciotti	Matitaweb: New File functionality.	tree \| commitdiff
2011-09-08	matitaweb	Matitaweb: Save as...	tree \| commitdiff
2011-09-08	matitaweb	Matitaweb: makefile reverted to old (working) version.	tree \| commitdiff
2011-09-08	Wilmer Ricciotti	Matitaweb: first attempt at "Save as".	tree \| commitdiff
2011-09-08	matitaweb	Matitaweb: more changes to file selection dialog box.	tree \| commitdiff
2011-09-08	Wilmer Ricciotti	Matitaweb: changes to file selection dialog box.	tree \| commitdiff
2011-09-08	matitaweb	Matitaweb: changes to file selection dialog box.	tree \| commitdiff
2011-09-08	Wilmer Ricciotti	Matitaweb: changes in file selection dialog box.	tree \| commitdiff
2011-09-08	matitaweb	Matitaweb: Changes to the file selection dialog box.	tree \| commitdiff
2011-09-08	Wilmer Ricciotti	Matitaweb: changes to file selection dialog box.	tree \| commitdiff
2011-09-08	Wilmer Ricciotti	Matitaweb: Some changes in file selection dialogbox.	tree \| commitdiff
2011-09-07	matitaweb	Changed behavior in matitaweb.js, function retrieveFile...	tree \| commitdiff
2011-09-07	Wilmer Ricciotti	Changed redirect behaviour of the daemon (incompatibili...	tree \| commitdiff
2011-09-06	Wilmer Ricciotti	When the user db is not found, matitaweb now creates...	tree \| commitdiff
2011-09-06	matitaweb	Removed ghost copy of a MatitaScriptLexer (moved from	tree \| commitdiff
2011-09-06	Wilmer Ricciotti	First attempt at svn commit of developments.	tree \| commitdiff
2011-07-20	Wilmer Ricciotti	Matitaweb: fixed a bug concerning matita/html/xml escap...	tree \| commitdiff
2011-07-20	Wilmer Ricciotti	1) Matitaweb now disambiguates scripts as it runs them	tree \| commitdiff
2011-07-14	Wilmer Ricciotti	Changes to TeX-macro conversion.	tree \| commitdiff
2011-07-14	Wilmer Ricciotti	Matitaweb: Bugfix for TeX-macro conversion.	tree \| commitdiff
2011-07-14	Wilmer Ricciotti	Matitaweb: changes to utf8MacroTable.js	tree \| commitdiff
2011-07-14	Wilmer Ricciotti	Matitaweb: changes to utf8MacroTable.js.	tree \| commitdiff
2011-07-14	Wilmer Ricciotti	Matitaweb: TeX-like macro handling.	tree \| commitdiff
2011-07-14	Wilmer Ricciotti	Changes to utf8MacroTable.js.	tree \| commitdiff
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom