| 2005-07-18 |
Stefano Zacchiroli | merged cic_notation with matita: good luck!
|
commit | commitdiff | tree |
| 2005-07-18 |
Stefano Zacchiroli | merged cic_notation with disambiguation: good luck!
|
commit | commitdiff | tree |
| 2005-07-14 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-07-14 |
Stefano Zacchiroli | bugfix: removed spurious section "helm_registry" from...
|
commit | commitdiff | tree |
| 2005-07-13 |
Stefano Zacchiroli | added XmlAttrs attribute for specification of xml attributes...
|
commit | commitdiff | tree |
| 2005-07-13 |
Stefano Zacchiroli | bugfix: "LPAREN" vs LPAREN
|
commit | commitdiff | tree |
| 2005-07-13 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-07-09 |
Stefano Zacchiroli | built test_{lexer,parser} per default
|
commit | commitdiff | tree |
| 2005-07-09 |
Stefano Zacchiroli | removed dependency on gdome2-xslt
|
commit | commitdiff | tree |
| 2005-07-08 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-07-08 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-07-08 |
Stefano Zacchiroli | added some items
|
commit | commitdiff | tree |
| 2005-07-08 |
Stefano Zacchiroli | version 0.7.1
|
commit | commitdiff | tree |
| 2005-07-07 |
Stefano Zacchiroli | added some other items
|
commit | commitdiff | tree |
| 2005-07-07 |
Stefano Zacchiroli | added some todo items
|
commit | commitdiff | tree |
| 2005-07-07 |
Stefano Zacchiroli | - new upstream release
|
commit | commitdiff | tree |
| 2005-07-07 |
Stefano Zacchiroli | s/debian\//debian/: avoid issue on make dist with new...
|
commit | commitdiff | tree |
| 2005-07-07 |
Stefano Zacchiroli | bumped version to 0.0.7
|
commit | commitdiff | tree |
| 2005-07-07 |
Stefano Zacchiroli | enable static binding of C/OCaml glue code
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | - bugfix: correctly handle real "index.theory"
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | added index.theory handling
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | no longer handle Shell exceptions (no more used by...
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | added backtick function
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | no longer uses Shell library
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | - updated META dependencies (no more dbm, no more shell)
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | uses mowgli's getter conffile as sample
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | reimplemented on top of latest getter library (no more...
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | bugfix: leave ".theory" suffix in place for theory...
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | help string in sync with available commands
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | - handle prefixes on the same line in conffile
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | added support for multiple binding of the same prefix...
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | do not .body/.types/.proof_tree files from ls output
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | - bugfix in cache handling for remote resources
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | better exception handling for HTTP errors
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | added docu comment
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | typo fixed: s/msemantics/semantics/
|
commit | commitdiff | tree |
| 2005-07-06 |
Stefano Zacchiroli | removed (wrong) output encoding iso-8859-1
|
commit | commitdiff | tree |
| 2005-07-05 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-07-05 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-07-05 |
Stefano Zacchiroli | ported to new getter interface
|
commit | commitdiff | tree |
| 2005-07-05 |
Stefano Zacchiroli | bumped license year
|
commit | commitdiff | tree |
| 2005-07-05 |
Stefano Zacchiroli | new getter implementation: no more DBM maps
|
commit | commitdiff | tree |
| 2005-07-05 |
Stefano Zacchiroli | handle Not_found exception in extension
|
commit | commitdiff | tree |
| 2005-07-04 |
Stefano Zacchiroli | added some utility functions on filename suffixes
|
commit | commitdiff | tree |
| 2005-07-01 |
Stefano Zacchiroli | more logging information on received request
|
commit | commitdiff | tree |
| 2005-07-01 |
Stefano Zacchiroli | uses relative OCAMLPATH
|
commit | commitdiff | tree |
| 2005-06-30 |
Stefano Zacchiroli | added license stuff
|
commit | commitdiff | tree |
| 2005-06-30 |
Stefano Zacchiroli | better handling of script names
|
commit | commitdiff | tree |
| 2005-06-30 |
Stefano Zacchiroli | added a debugging helper
|
commit | commitdiff | tree |
| 2005-06-28 |
Stefano Zacchiroli | fixed bug in response first line parsing (arbitrary...
|
commit | commitdiff | tree |
| 2005-06-28 |
Stefano Zacchiroli | changed get_pair interface, now supports different...
|
commit | commitdiff | tree |
| 2005-06-28 |
Stefano Zacchiroli | added get_pair method
|
commit | commitdiff | tree |
| 2005-06-28 |
Stefano Zacchiroli | moved discovery of METAS dir to configure.ac: script...
|
commit | commitdiff | tree |
| 2005-06-28 |
Stefano Zacchiroli | bugfix: uses awk instead of cut for splitting query...
|
commit | commitdiff | tree |
| 2005-06-22 |
Stefano Zacchiroli | local use of OCAMLPATH so that ./script.sh should not...
|
commit | commitdiff | tree |
| 2005-06-22 |
Stefano Zacchiroli | restored local usage of OCAMLPATH so that ./script...
|
commit | commitdiff | tree |
| 2005-06-22 |
Stefano Zacchiroli | added $(NULL)
|
commit | commitdiff | tree |
| 2005-06-17 |
Stefano Zacchiroli | removed!
|
commit | commitdiff | tree |
| 2005-06-17 |
Stefano Zacchiroli | removed spurious entry gtkrc
|
commit | commitdiff | tree |
| 2005-06-16 |
Stefano Zacchiroli | added depth and width (optional) parameters to auto_tac_new
|
commit | commitdiff | tree |
| 2005-06-16 |
Stefano Zacchiroli | uses auto_tac_new instead of auto_tac
|
commit | commitdiff | tree |
| 2005-06-15 |
Stefano Zacchiroli | DTD for attributes revised.
|
commit | commitdiff | tree |
| 2005-06-15 |
Stefano Zacchiroli | renamed clientHTTP to http_getter_wget
|
commit | commitdiff | tree |
| 2005-06-15 |
Stefano Zacchiroli | we no longer use pxp
|
commit | commitdiff | tree |
| 2005-06-15 |
Stefano Zacchiroli | enable static linking of C stub code
|
commit | commitdiff | tree |
| 2005-06-15 |
Stefano Zacchiroli | version 0.7.1-1
|
commit | commitdiff | tree |
| 2005-06-15 |
Stefano Zacchiroli | - better printing of modifiers
|
commit | commitdiff | tree |
| 2005-06-15 |
Stefano Zacchiroli | ported to latest registry interface
|
commit | commitdiff | tree |
| 2005-06-15 |
Stefano Zacchiroli | - support for multiple bindings of the same key, accessible...
|
commit | commitdiff | tree |
| 2005-06-15 |
Stefano Zacchiroli | use META helm-registry package, load sample.xml and...
|
commit | commitdiff | tree |
| 2005-06-14 |
Stefano Zacchiroli | uses XmlPushParser instead of PXP
|
commit | commitdiff | tree |
| 2005-06-14 |
Stefano Zacchiroli | finally we understood how to properly link ocaml bindings...
|
commit | commitdiff | tree |
| 2005-06-14 |
Stefano Zacchiroli | done two items
|
commit | commitdiff | tree |
| 2005-06-14 |
Stefano Zacchiroli | don't build pxp (no longer needed), cic_annotations...
|
commit | commitdiff | tree |
| 2005-06-14 |
Stefano Zacchiroli | removed dependencies on Pxp
|
commit | commitdiff | tree |
| 2005-06-14 |
Stefano Zacchiroli | removed dependency on cicPxpParser
|
commit | commitdiff | tree |
| 2005-06-14 |
Stefano Zacchiroli | uses XmlPushParser instead of Pxp for parsing getter...
|
commit | commitdiff | tree |
| 2005-06-13 |
Stefano Zacchiroli | integrated lablgtksourceview
|
commit | commitdiff | tree |
| 2005-06-13 |
Stefano Zacchiroli | - no longer build mathql per default
|
commit | commitdiff | tree |
| 2005-06-13 |
Stefano Zacchiroli | - new minor version
|
commit | commitdiff | tree |
| 2005-06-13 |
Stefano Zacchiroli | ported to official (guessed) version of lablgtk2
|
commit | commitdiff | tree |
| 2005-06-13 |
Stefano Zacchiroli | better clean up on dist
|
commit | commitdiff | tree |
| 2005-06-13 |
Stefano Zacchiroli | moved the annoying debugging print to test
|
commit | commitdiff | tree |
| 2005-06-13 |
Stefano Zacchiroli | ported to lablgtk2 2.4.0+2005.06.13-1
|
commit | commitdiff | tree |
| 2005-06-13 |
Stefano Zacchiroli | ported to latest lablgtk2 snapshot (13/06/2005) in...
|
commit | commitdiff | tree |
| 2005-06-11 |
Stefano Zacchiroli | rewritten makefile and debian packaging: .deb ready!
|
commit | commitdiff | tree |
| 2005-06-11 |
Stefano Zacchiroli | added an 'a parameter to mpresentation type so that...
|
commit | commitdiff | tree |
| 2005-06-11 |
Stefano Zacchiroli | ocaml 3.08.3 commit
|
commit | commitdiff | tree |
| 2005-06-11 |
Stefano Zacchiroli | fixed segfault issue with matching bracket search
|
commit | commitdiff | tree |
| 2005-06-11 |
Stefano Zacchiroli | first checkin of debian stuff, something done, but...
|
commit | commitdiff | tree |
| 2005-06-10 |
Stefano Zacchiroli | snapshort
|
commit | commitdiff | tree |
| 2005-06-10 |
Stefano Zacchiroli | - bound GtkSourceLanguagesManager (only get_lang..from_mime_...
|
commit | commitdiff | tree |
| 2005-06-10 |
Stefano Zacchiroli | snaphot
|
commit | commitdiff | tree |
| 2005-06-09 |
Stefano Zacchiroli | added source_view ?text constructor parameter
|
commit | commitdiff | tree |
| 2005-06-09 |
Stefano Zacchiroli | test file
|
commit | commitdiff | tree |
| 2005-06-09 |
Stefano Zacchiroli | load "test.txt" and show it in a scrolled win
|
commit | commitdiff | tree |
| 2005-06-09 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-06-09 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-06-09 |
Stefano Zacchiroli | lablgtksourceview: first checkin, almost nothing bound ...
|
commit | commitdiff | tree |
| 2005-06-09 |
Stefano Zacchiroli | simplified cicBrowser: whelp bar is now always visible
|
commit | commitdiff | tree |
| next |
projects / helm.git / search