| 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 |
| 2005-06-08 |
Stefano Zacchiroli | - handles about:* uris in cicBrowser
|
commit | commitdiff | tree |
| 2005-06-08 |
Stefano Zacchiroli | fixed history handling: now both "home" and link reached...
|
commit | commitdiff | tree |
| 2005-06-08 |
Stefano Zacchiroli | rewritten cicBrowser handling of uri text entry, still...
|
commit | commitdiff | tree |
| 2005-06-08 |
Stefano Zacchiroli | added icons to entries shown in cicbrowser so that...
|
commit | commitdiff | tree |
| 2005-06-08 |
Stefano Zacchiroli | snapshot (minor changes)
|
commit | commitdiff | tree |
| 2005-06-07 |
Stefano Zacchiroli | implemented attributes pretty printing
|
commit | commitdiff | tree |
| 2005-06-07 |
Stefano Zacchiroli | handles "elimCProp" value for class attribute
|
commit | commitdiff | tree |
| 2005-06-07 |
Stefano Zacchiroli | added object attributes
|
commit | commitdiff | tree |
| 2005-06-07 |
Stefano Zacchiroli | added integration entry
|
commit | commitdiff | tree |
| 2005-06-07 |
Stefano Zacchiroli | snapshort
|
commit | commitdiff | tree |
| 2005-06-06 |
Stefano Zacchiroli | - set monospace buffer using modify_font widget method
|
commit | commitdiff | tree |
| 2005-06-04 |
Stefano Zacchiroli | snapshot (first version with working pattern matching...
|
commit | commitdiff | tree |
| 2005-06-04 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2005-06-02 |
Stefano Zacchiroli | snapshot (added typed environment in 2 -> 1 conversion)
|
commit | commitdiff | tree |
| 2005-06-02 |
Stefano Zacchiroli | snapshot (first working implementation of parttern...
|
commit | commitdiff | tree |
| 2005-05-31 |
Stefano Zacchiroli | snapshot (ported to new "typed" ids_to_inner_sort table)
|
commit | commitdiff | tree |
| 2005-05-31 |
Stefano Zacchiroli | Changed type of ids_to_inner_sort table used in transformation.
|
commit | commitdiff | tree |
| 2005-05-31 |
Stefano Zacchiroli | snapshot (first version with [apparently] working mappings...
|
commit | commitdiff | tree |
| 2005-05-31 |
Stefano Zacchiroli | snapshot (the thing on the doorstep)
|
commit | commitdiff | tree |
| 2005-05-30 |
Stefano Zacchiroli | added uri_of_term
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | - commented out no longer needed macros Redo, Undo...
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | fixed otags invocation
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | commented out no longer needed macros Redo, Undo, Abort
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | added %.annot rule to create type annotation files
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | refactored modules structure
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | * fold left/right implemented
|
commit | commitdiff | tree |
| 2005-05-27 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| next |
projects / helm.git / search